On the Modal Logic of the Non-orthogonality Relation Between Quantum States


It is well known that the non-orthogonality relation between the states of a quantum system is reflexive and symmetric, and the modal logic \ is sound and complete with respect to the class of sets each equipped with a reflexive and symmetric binary relation. In this paper, we consider two properties of the non-orthogonality relation: Separation and Superposition. We find sound and complete modal axiomatizations for the classes of sets each equipped with a reflexive and symmetric relation that satisfies each one of these two properties and both, respectively. We also show that the modal logics involved are decidable.

Download options


    Upload a copy of this work     Papers currently archived: 72,879

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

11 (#860,140)

6 months
1 (#386,016)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Shengyang Zhong
Peking University

References found in this work

Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.
Modal Logic.Alexander Chagrov - 1997 - Oxford, England: Oxford University Press.
The Logic of Quantum Mechanics.Garrett Birkhoff & John von Neumann - 1937 - Journal of Symbolic Logic 2 (1):44-45.
Modal Logic.Yde Venema, Alexander Chagrov & Michael Zakharyaschev - 2000 - Philosophical Review 109 (2):286.

View all 13 references / Add more references

Citations of this work

No citations found.

Add more citations

Similar books and articles

First-Order Theories of Orthogonality Structures.Ruaan Kellerman - 2007 - Logic Journal of the IGPL 15 (3):255-270.
Extended Quantum Logic.Kenji Tokuo - 2003 - Journal of Philosophical Logic 32 (5):549-563.
Systems of Quantum Logic.Satoko Titani, Heiji Kodera & Hiroshi Aoyama - 2013 - Studia Logica 101 (1):193-217.
Arithmetic Tools for Quantum Logic.J. C. Dacey - 1990 - Foundations of Physics 20 (5):605-619.
A System of Dynamic Modal Logic.Maarten de Rijke - 1998 - Journal of Philosophical Logic 27 (2):109-142.
Towards a Modal Logical Treatment of Quantum Physics.Osvaldo Pessoa Jr - 2005 - Logic Journal of the IGPL 13 (1):139-147.