On the finite model property of intuitionistic modal logics over MIPC

被引：0

作者：

Aoto, T

Shirasu, H

机构：

[1] Gunma Univ, Fac Engn, Dept Comp Sci, Kiryu, Gumma 3768515, Japan

[2] Electrotech Lab, Div Comp Sci, Tsukuba, Ibaraki 3058568, Japan

来源：

MATHEMATICAL LOGIC QUARTERLY | 1999年 / 45卷 / 04期

关键词：

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

D O I：

10.1002/malq.19990450402

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

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.

引用

页码：435 / 448

页数：14

共 17 条

[1] AOTO T, ISRR980004F JAIST SC
[2] Bezhanishvili G., 1997, P SEQ CALC KRIPK SEM, P86
[3] Bezhanishvili G., 1998, THESIS TOKYO I TECHN
[4] MIPC AS FORMALISATION OF AN INTUITIONIST CONCEPT OF MODALITY
BULL, RA
[J]. JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (04) : 609 - &
[5] Chagrov A., 1997, Modal Logic
[6] LOGICS CONTAINING K4 .2.
FINE, K
[J]. JOURNAL OF SYMBOLIC LOGIC, 1985, 50 (03) : 619 - 651
[7] Fischer Servi G., 1977, STUDIA LOGICA, V36, P141
[8] Fischer Servi G., 1984, Rend. Del Semin. Mat, V42, P179
[9] KEISLER HJ, 1977, HDB MATH LOGIC
[10] Ono H., 1988, REP MATH LOGIC, V22, P65

← 1 2 →