List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Decidability of Quantum Modal Logic (available as arXiv preprint) | 2026-01-01 | Paper |
| Component Modalities of Quantum Logic (available as arXiv preprint) | 2026-01-01 | Paper |
| QBism Logic (available as arXiv preprint) | 2026-01-01 | Paper |
| Multimodal Logic Programming with Full Formulas (available as arXiv preprint) | 2026-01-01 | Paper |
| Spectral Sign Implication for Quantum Logic (available as arXiv preprint) | 2026-01-01 | Paper |
| A Lambda Calculus Based on Quantum Logic (available as arXiv preprint) | 2026-01-01 | Paper |
| Quantum modal logic Logic Journal of the IGPL | 2025-09-30 | Paper |
| Decidability of quantum modal logic Logic Journal of the IGPL | 2025-09-30 | Paper |
| Quantum modal logic (available as arXiv preprint) | 2025-01-01 | Paper |
| Natural deduction for quantum logic Logica Universalis | 2022-10-18 | Paper |
| Linearity and negation Journal of Applied Non-Classical Logics | 2018-08-28 | Paper |
| Logic of simultaneity International Journal of Theoretical Physics | 2009-08-10 | Paper |
| Quantum number theory International Journal of Theoretical Physics | 2005-04-06 | Paper |
| Extended quantum logic Journal of Philosophical Logic | 2003-10-27 | Paper |
| Typed quantum logic International Journal of Theoretical Physics | 2003-06-18 | Paper |
Research outcomes over time
This page was built for person: Kenji Tokuo
