Work

Quantum modal logic

Year: 2024

Type: article

Abstract: A modal logic based on quantum logic is formalized in its simplest possible form. Specifically, a relational semantics and a sequent calculus are provided, and the soundness and the completeness theorems connecting both notions are demonstrated. This framework is intended to serve as a basis for formalizing various modal logics over quantum logic, such as quantum alethic logic, quantum temporal logic, quantum epistemic logic, and quantum dynamic logic.

Source: Logic Journal of IGPL

DOI: 10.1093/jigpal/jzae123

Author: Kenji Tokuo

Institutions: National Institute of Technology, National Institute of Technology, Oita College

Language: English

Topic: Advanced Algebra and Logic

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funder: Japan Society for the Promotion of Science

Award: Development of inference and computation theory based on quantum logic focusing on implication operations