Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Towards a logic of modalities for quantum mechanics

Olímpia Lombardi, Matías Daniel Pasqualini, Juan Pablo Jorge, José Alejandro Fernández Cuesta

Published Jan 1, 2025• 0 citations
Publisher
DOI
10.13140/rg.2.2.35918.93765

Related papers

On the connection between the categorical and the modal logic approaches to Quantum Mechanics

Giovanni Cin

•Jan 1, 2013•0 citations

Quantum logic and physical modalities

M. L. Dalla Chiara

Journal of Philosophical Logic•Jan 1, 1977•41 citations

Logics for quantum mechanics

Martin Strauss

Foundations of Physics•Jun 1, 1973•11 citations

CONCEPTUAL FOUNDATIONS OF QUANTUM MECHANICS: THE ROLE OF EVIDENCE THEORY, QUANTUM SETS, AND MODAL LOGIC

Germano Resconi, George J. Klir, Eliano Pessa

Recognizing that syntactic and semantic structures of classical logic are not sufficient to understand the meaning of quantum phenomena, we propose in this paper a new interpretation of quantum mechanics based on evidence theory. The connection between these two theories is obtained through a new language, quantum set theory, built on a suggestion by J. Bell. Further, we give a modal logic interpretation of quantum mechanics and quantum set theory by using Kripke's semantics of modal logic based on the concept of possible worlds. This is grounded on previous work of a number of researchers (Resconi, Klir, Harmanec) who showed how to represent evidence theory and other uncertainty theories in terms of modal logic. Moreover, we also propose a reformulation of the many-worlds interpretation of quantum mechanics in terms of Kripke's semantics. We thus show how three different theories — quantum mechanics, evidence theory, and modal logic — are interrelated. This opens, on one hand, the way to new applications of quantum mechanics within domains different from the traditional ones, and, on the other hand, the possibility of building new generalizations of quantum mechanics itself.

International Journal of Modern Physics C•Feb 1, 1999•24 citations

The modal logic of quantum logic

Peter Mittelstaedt

Journal of Philosophical Logic•Jan 1, 1979•20 citations

On the quantum logic approach to quantum mechanics

Stanley Gudder

Communications in Mathematical Physics•Mar 1, 1969•16 citations
Recognizing that syntactic and semantic structures of classical logic are not sufficient to understand the meaning of quantum phenomena, we propose in this paper a new interpretation of quantum mechanics based on evidence theory. The connection between these two theories is obtained through a new language, quantum set theory, built on a suggestion by J. Bell. Further, we give a modal logic interpretation of quantum mechanics and quantum set theory by using Kripke's semantics of modal logic based on the concept of possible worlds. This is grounded on previous work of a number of researchers (Resconi, Klir, Harmanec) who showed how to represent evidence theory and other uncertainty theories in terms of modal logic. Moreover, we also propose a reformulation of the many-worlds interpretation of quantum mechanics in terms of Kripke's semantics. We thus show how three different theories — quantum mechanics, evidence theory, and modal logic — are interrelated. This opens, on one hand, the way to new applications of quantum mechanics within domains different from the traditional ones, and, on the other hand, the possibility of building new generalizations of quantum mechanics itself.