Journal of Philosophical Logic

, Volume 32, Issue 5, pp 549–563

Extended Quantum Logic

  • Kenji Tokuo

DOI: 10.1023/A:1025693128153

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


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

Authors and Affiliations

  • Kenji Tokuo
    • 1
  1. 1.Graduate School of Human and Environmental StudiesKyoto UniversityKyotoJapan

Personalised recommendations