Journal of Philosophical Logic

, Volume 32, Issue 5, pp 549–563

Extended Quantum Logic

Authors

  • Kenji Tokuo
    • Graduate School of Human and Environmental StudiesKyoto University
Article

DOI: 10.1023/A:1025693128153

Cite this article as:
Tokuo, K. Journal of Philosophical Logic (2003) 32: 549. doi:10.1023/A:1025693128153

Abstract

The concept of quantum logic is extended so that it covers a more general set of propositions that involve non-trivial probabilities. This structure is shown to be embedded into a multi-modal framework, which has desirable logical properties such as an axiomatization, the finite model property and decidability.

Kripke semantics modal logic quantum logic

Copyright information

© Kluwer Academic Publishers 2003