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 ;

摘要：

引用

页码：81 / 129

页数：49

共 50 条

[21] ARNOULD BAYART'S MODAL COMPLETENESS THEOREMS
Cresswell, M. J.
LOGIQUE ET ANALYSE, 2015, (229) : 89 - 142
[22] On the completeness of First degree weakly aggregative modal logics
Apostoli, P
JOURNAL OF PHILOSOPHICAL LOGIC, 1997, 26 (02) : 169 - 180
[23] On the completeness of first degree weakly aggregative modal logics
Peter Apostoli
Journal of Philosophical Logic, 1997, 26 : 169 - 180
[24] Completeness for flat modal fixpoint logics (Extended abstract)
Santocanale, Luigi
Venema, Yde
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2007, 4790 : 499 - +
[25] EXTENSIONS OF MAKINSONS COMPLETENESS THEOREMS IN MODAL LOGIC
ROUTLEY, R
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1970, 16 (03): : 239 - &
[26] Glivenko type theorems for intuitionistic modal logics
Bezhanishvili G.
Studia Logica, 2001, 67 (1) : 89 - 109
[27] MODEL EXISTENCE THEOREMS FOR MODAL AND INTUITIONISTIC LOGICS
FITTING, M
JOURNAL OF SYMBOLIC LOGIC, 1973, 38 (04) : 613 - 627
[28] COMPLETENESS THEOREMS FOR UNIVERSAL AND IMPLICATIONAL LOGICS OF ALGEBRAS VIA CONGRUENCES
QUACKENBUSH, RW
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1988, 103 (04) : 1015 - 1021
[29] A GUIDE TO COMPLETENESS AND COMPLEXITY FOR MODAL-LOGICS OF KNOWLEDGE AND BELIEF
HALPERN, JY
MOSES, Y
ARTIFICIAL INTELLIGENCE, 1992, 54 (03) : 319 - 379
[30] THE COMPLETENESS THEOREMS FOR SOME INTUITIONISTIC EPISTEMIC LOGICS IN TERMS OF INTERVAL SEMANTICS
KONDO, M
PUBLICATIONS OF THE RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES, 1984, 20 (03) : 671 - 681

← 1 2 3 4 5 →