On the Finite Model Property of Intuitionistic Modal Logics over MIPC

DOI10.1002/MALQ.19990450402MaRDI QIDQ4704648zbMATH OpenOpenAlexFDO

Authors Takahito Aoto, Hiroyuki Shirasu

Publication date 13 February 2000

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19990450402

zbMATH Keywords

finite model propertyintuitionistic modal logic

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1377706
• scientific article; zbMATH DE number 2024611
• Finite model property for an intuitionistic modal logic
• Intuitionistic modal logic with a Galois connection has the finite model property
• scientific article; zbMATH DE number 4135914

Cites work

• scientific article; zbMATH DE number 4139714 (Why is no real title available?)
• scientific article; zbMATH DE number 3950488 (Why is no real title available?)
• scientific article; zbMATH DE number 3573832 (Why is no real title available?)
• scientific article; zbMATH DE number 1303434 (Why is no real title available?)
• scientific article; zbMATH DE number 1431908 (Why is no real title available?)
• MIPC as the formalisation of an intuitionist concept of modality
• On modal logic with an intuitionistic base

Cited in

(8)

• Finite model property for an intuitionistic modal logic
• The finite model property for the implicational fragment of IPC without exchange and contraction
• scientific article; zbMATH DE number 4135914 (Why is no real title available?)
• scientific article; zbMATH DE number 1215479 (Why is no real title available?)
• scientific article; zbMATH DE number 1735874 (Why is no real title available?)
• scientific article; zbMATH DE number 2024611 (Why is no real title available?)
• scientific article; zbMATH DE number 2058485 (Why is no real title available?)
• scientific article; zbMATH DE number 1377706 (Why is no real title available?)

This page was built for publication: On the Finite Model Property of Intuitionistic Modal Logics over MIPC

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