|
|||||
|
|
On the Finite Model Property of Intuitionistic Modal Logics over MIPC |
|
| Authors: | Takahito Aoto Hiroyuki Shirasu |
| Abstract: | 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. |
| Keywords: | Intuitionistic modal logic Kripke frame Finite model property Decidability |