COMPLETENESS RESULTS FOR SOME TWO-DIMENSIONAL LOGICS OF ACTUALITY

被引：2

作者：

Gilbert, David R. ^{[1
]}

Mares, Edwin D. ^{[1
]}

机构：

[1] Victoria Univ Wellington, Ctr Log Language & Computat, Wellington, New Zealand

来源：

REVIEW OF SYMBOLIC LOGIC | 2012年 / 5卷 / 02期

关键词：

D O I：

10.1017/S1755020311000384

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

We provide a Hilbert-style axiomatization of the logic of 'actually', as well as a two-dimensional semantics with respect to which our logics are sound and complete. Our completeness results are quite general, pertaining to all such actuality logics that extend a normal and canonical modal basis. We also show that our logics have the strong finite model property and permit straight-forward first-order extensions.

引用

页码：239 / 258

页数：20

共 50 条

[21] Algorithmic proof for the completeness of the two-dimensional Ising model
Karimipour, Vahid
Zarei, Mohammad Hossein
PHYSICAL REVIEW A, 2012, 86 (05):
[22] Completeness and Decidability Results for Hybrid(ised) Logics
Neves, Renato
Martins, Manuel A.
Barbosa, Luis S.
FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2014, 2015, 8941 : 146 - 161
[23] BARWISE COMPLETENESS THEOREMS FOR SOME BIPROBABILITY LOGICS
RASKOVIC, M
ZIVALJEVIC, R
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1986, 32 (02): : 133 - 135
[24] SOME RESULTS ON DIAGONAL-FREE TWO-DIMENSIONAL CYLINDRIC ALGEBRAS
Figallo, Martin
REPORTS ON MATHEMATICAL LOGIC, 2011, 46 : 3 - 15
[25] SOME RESULTS ON TWO-DIMENSIONAL HENON EQUATION WITH LARGE EXPONENT IN NONLINEARITY
Zhao, Chunyi
COMMUNICATIONS ON PURE AND APPLIED ANALYSIS, 2013, 12 (02) : 803 - 813
[26] Some patching results on algebras over two-dimensional factorial domains
Dutta, Amartya K.
Gupta, Neena
Onoda, Nobuharu
JOURNAL OF PURE AND APPLIED ALGEBRA, 2012, 216 (07) : 1667 - 1679
[27] SOME EXACT RESULTS FOR A TWO-DIMENSIONAL CRYSTAL-GROWTH PROBLEM
DIMARZIO, EA
GUTTMAN, CM
JOURNAL OF CRYSTAL GROWTH, 1982, 57 (02) : 403 - 411
[28] Completeness of superintegrability in two-dimensional constant-curvature spaces
Kalnins, EG
Kress, JM
Pogosyan, GS
Miller, W
JOURNAL OF PHYSICS A-MATHEMATICAL AND GENERAL, 2001, 34 (22): : 4705 - 4720
[29] Asymptotic Completeness for Infraparticles in Two-Dimensional Conformal Field Theory
Wojciech Dybalski
Yoh Tanimoto
Letters in Mathematical Physics, 2013, 103 : 1223 - 1241
[30] Systematic study of the completeness of two-dimensional classical φ4 theory
Zarei, Mohammad Hossein
Khalili, Yahya
INTERNATIONAL JOURNAL OF QUANTUM INFORMATION, 2017, 15 (07)

← 1 2 3 4 5 →