4 SIMPLE SYSTEMS OF MODAL PROPOSITIONAL LOGIC

被引：0

|

作者：

MASSEY, GJ

机构：

来源：

PHILOSOPHY OF SCIENCE | 1965年 / 32卷 / 04期

关键词：

D O I：

10.1086/288058

中图分类号：

N09 [自然科学史]; B [哲学、宗教];

学科分类号：

01 ; 0101 ; 010108 ; 060207 ; 060305 ; 0712 ;

摘要：

引用

收藏

页码：342 / 355

页数：14

相关论文

共 50 条

[1] REWRITE RULE SYSTEMS FOR MODAL PROPOSITIONAL LOGIC
FORET, A
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 343 : 147 - 156
[2] REWRITE RULE SYSTEMS FOR MODAL PROPOSITIONAL LOGIC
FORET, A
JOURNAL OF LOGIC PROGRAMMING, 1992, 12 (03): : 281 - 298
[3] ON MODAL LOGIC WITH PROPOSITIONAL QUANTIFIERS
BULL, RA
JOURNAL OF SYMBOLIC LOGIC, 1969, 34 (02) : 257 - &
[4] NONCOMPACTNESS IN PROPOSITIONAL MODAL LOGIC
THOMASON, SK
JOURNAL OF SYMBOLIC LOGIC, 1972, 37 (04) : 716 - 720
[5] Actuality in Propositional Modal Logic
Hazen, Allen P.
Rin, Benjamin G.
Wehmeier, Kai F.
STUDIA LOGICA, 2013, 101 (03) : 487 - 503
[6] NONCOMPACTNESS IN PROPOSITIONAL MODAL LOGIC
THOMASON, SK
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1972, 19 (04): : A535 - &
[7] PROPOSITIONAL QUANTIFIERS IN MODAL LOGIC
FINE, K
THEORIA, 1970, 36 : 336 - 346
[8] Actuality in Propositional Modal Logic
Allen P. Hazen
Benjamin G. Rin
Kai F. Wehmeier
Studia Logica, 2013, 101 : 487 - 503
[9] Generalising propositional modal logic using labelled deductive systems
Russo, A
FRONTIERS OF COMBINING SYSTEMS, 1996, 3 : 57 - 73
[10] A PROPOSITIONAL MODAL LOGIC OF TIME INTERVALS
HALPERN, JY
SHOHAM, Y
JOURNAL OF THE ACM, 1991, 38 (04) : 935 - 962

← 1 2 3 4 5 →