Decidability of quantum modal logic

DOI10.1093/JIGPAL/JZAF010MaRDI QIDQ6922556zbMATH OpenFDO

Authors Kenji Tokuo

Publication date 30 September 2025

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/JIGPAL/JZAF010

zbMATH Keywords

decidabilityfinite model propertyHarrop's lemmamodal logicquantum logic

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Modal logic (including the logic of norms) (03B45) Quantum logic (03G12)

Cites work

• Free Ortholattices
• scientific article; zbMATH DE number 3131078 (Why is no real title available?)
• scientific article; zbMATH DE number 4033710 (Why is no real title available?)
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 3807678 (Why is no real title available?)
• Imbedding of the quantum logic in the modal system of Brower
• Quantum modal logic
• Semantic analysis of orthologic
• Sequential method in quantum logic

This page was built for publication: Decidability of quantum modal logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6922556)