On the Finite Model Property of Intuitionistic Modal Logics over MIPC

MATHEMATICAL LOGIC QUARTERLY（1999）

引用 3|浏览3

暂无评分

摘要

MIPC is a well-known intuitionistic modal logic of Prior (1957) and Bull (1966). It is shown that every normal intuitionistic modal logic L over MIPC has the finite model property whenever L is Kripke-complete and universal.

查看译文

关键词

intuitionistic modal logic,Kripke frame,finite model property,decidability

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要