Modal-type orthomodular logic

Abstract

In this paper we enrich the orthomodular structure by adding a modal operator, following a physical motivation. A logical system is developed, obtaining algebraic completeness and completeness with respect to a Kripke-style semantic founded on Baer *-semigroups as in [20].

submitted to the Mathematical Logic Quarterly

References in corpus (3)

• Contextual logic for quantum systems
• Scopes and Limits of Modality in Quantum Mechanics
• A Topological Study of Contextuality and Modality in Quantum Mechanics

Cited by in corpus (4)

• The Logos Categorical Approach to Quantum Mechanics: I. Kochen-Specker Contextuality and Global Intensive Valuations
• A Defense of the Paraconsistent Approach to Quantum Superpositions (Answer to Arenhart and Krause)
• Physical properties as modal operators in the topos approach to quantum mechanics
• Interpreting the modal Kochen-Specker theorem: possibility and many worlds in quantum mechanics