Journal of Philosophical Logic

, Volume 32, Issue 5, pp 549-563

First online:

Extended Quantum Logic

  • Kenji TokuoAffiliated withGraduate School of Human and Environmental Studies, Kyoto University

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


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