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 条

[31] 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
[32] Completeness and logical full abstraction in, modal logics for typed mobile processes
Berger, Martin
Honda, Kohei
Yoshida, Nobuko
AUTOMATA, LANGUAGES AND PROGRAMMING, PT 2, PROCEEDINGS, 2008, 5126 : 99 - +
[33] ON THE EMPTINESS PROBLEM OF TREE AUTOMATA AND COMPLETENESS OF MODAL-LOGICS OF PROGRAMS
WAGNER, H
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 385 : 384 - 399
[34] On strong neighbourhood completeness of modal and intermediate propositional logics (Part 1)
Shehtman, V
ADVANCES IN MODAL LOGIC, VOL 1, 1998, (87): : 209 - 222
[35] MODAL COMPANIONS OF SUPERINTUITIONISTIC LOGICS - SYNTAX, SEMANTICS, AND PRESERVATION THEOREMS
ZAKHARYASHCHEV, MV
MATHEMATICS OF THE USSR-SBORNIK, 1991, 68 (01): : 277 - 289
[36] Cut-elimination theorems for some infinitary modal logics
Tanaka, Y
MATHEMATICAL LOGIC QUARTERLY, 2001, 47 (03) : 327 - 339
[37] BACK AND FORTH ARGUMENTS IN MODAL LOGIC - UNIFORM INTERPOLATION THEOREMS FOR A FAMILY OF MODAL LOGICS
WEAVER, G
WELAISH, J
JOURNAL OF SYMBOLIC LOGIC, 1979, 44 (03) : 472 - 472
[38] TRANSLATIONS BETWEEN MODAL-LOGICS OF REACTIVE SYSTEMS
LAROUSSINIE, F
PINCHINAT, S
SCHNOEBELEN, P
THEORETICAL COMPUTER SCIENCE, 1995, 140 (01) : 53 - 71
[39] STRONG COMPLETENESS OF MODAL LOGICS OVER 0-DIMENSIONAL METRIC SPACES
Goldblatt, Robert
Hodkinson, Ian
REVIEW OF SYMBOLIC LOGIC, 2020, 13 (03): : 611 - 632
[40] Completeness and Decidability Results for Some Propositional Modal Logics Containing “Actually” Operators
Dominic Gregory
Journal of Philosophical Logic, 2001, 30 : 57 - 78

← 1 2 3 4 5 →