Extended Quantum Logic
- Cite this article as:
- Tokuo, K. Journal of Philosophical Logic (2003) 32: 549. doi:10.1023/A:1025693128153
- 44 Downloads
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.