On the Finite Model Property of Intuitionistic Modal Logics over MIPC

DOI10.1002/malq.19990450402zbMath0938.03034OpenAlexW2050166531MaRDI QIDQ4704648

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

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

Cites Work

• On modal logic with an intuitionistic base
• MIPC as the formalisation of an intuitionist concept of modality
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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