Completeness theorems for reactive modal logics

被引：2

|

作者：

Gabbay, Dov ^{[1
,2
,3
]}

机构：

[1] Kings Coll London, Dept Comp Sci, London WC2R 2LS, England

[2] Bar Ilan Univ, Ramat Gan, Israel

[3] Univ Luxembourg, Luxembourg, Luxembourg

来源：

ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE | 2012年 / 66卷 / 1-4期

关键词：

Modal logic; Temporal logic;

D O I：

10.1007/s10472-012-9315-9

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

[No abstract available]

引用

收藏

页码：81 / 129

页数：49

相关论文

共 50 条

[1] Completeness theorems for reactive modal logics
Dov Gabbay
Annals of Mathematics and Artificial Intelligence, 2012, 66 : 81 - 129
[2] Completeness for flat modal fixpoint logics
Santocanale, Luigi
Venema, Yde
ANNALS OF PURE AND APPLIED LOGIC, 2010, 162 (01) : 55 - 82
[3] Effective completeness theorems for modal logic
Ganguli, S
Nerode, A
ANNALS OF PURE AND APPLIED LOGIC, 2004, 128 (1-3) : 141 - 195
[4] Axiomatization and Completeness of Lexicographic Products of Modal Logics
Balbiani, Philippe
FRONTIERS OF COMBINING SYSTEMS, PROCEEDINGS, 2009, 5749 : 165 - 180
[5] Analyzing completeness of axiomatic functional systems for temporal x modal logics
Burrieza, Alfredo
de Guzman, Inmaculada P.
Munoz-Velasco, Emilio
MATHEMATICAL LOGIC QUARTERLY, 2010, 56 (01) : 89 - 102
[6] On the completeness of first degree weakly aggregative modal logics
Peter Apostoli
Journal of Philosophical Logic, 1997, 26 : 169 - 180
[7] On the completeness of First degree weakly aggregative modal logics
Apostoli, P
JOURNAL OF PHILOSOPHICAL LOGIC, 1997, 26 (02) : 169 - 180
[8] Cut-elimination theorems for some infinitary modal logics
Tanaka, Y
MATHEMATICAL LOGIC QUARTERLY, 2001, 47 (03) : 327 - 339
[9] Completeness and Decidability Results for Some Propositional Modal Logics Containing “Actually” Operators
Dominic Gregory
Journal of Philosophical Logic, 2001, 30 : 57 - 78
[10] Completeness of Flat Coalgebraic Fixpoint Logics
Schroeder, Lutz
Venema, Yde
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2018, 19 (01)

← 1 2 3 4 5 →