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

@article{Zhong2018OnTM,
title={On the Modal Logic of the Non-orthogonality Relation Between Quantum States},
author={Shengyang Zhong},
journal={Journal of Logic, Language and Information},
year={2018},
volume={27},
pages={157-173}
}
It is well known that the non-orthogonality relation between the (pure) states of a quantum system is reflexive and symmetric, and the modal logic $$\mathbf {KTB}$$KTB 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… CONTINUE READING
1