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)

zbMATH Keywords

decidabilitymodal logicquantum logicfinite model propertyHarrop's lemma

Mathematics Subject Classification ID

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

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)