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 [J].

Karimipour, Vahid ;

Zarei, Mohammad Hossein .

PHYSICAL REVIEW A, 2012, 86 (05)

[22] Completeness and Decidability Results for Hybrid(ised) Logics [J].

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 [J].

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 [J].

Figallo, Martin .

REPORTS ON MATHEMATICAL LOGIC, 2011, 46 :3-15

[25] SOME RESULTS ON TWO-DIMENSIONAL HENON EQUATION WITH LARGE EXPONENT IN NONLINEARITY [J].

Zhao, Chunyi .

COMMUNICATIONS ON PURE AND APPLIED ANALYSIS, 2013, 12 (02) :803-813

[26] Some patching results on algebras over two-dimensional factorial domains [J].

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 [J].

DIMARZIO, EA ;

GUTTMAN, CM .

JOURNAL OF CRYSTAL GROWTH, 1982, 57 (02) :403-411

[28] Completeness of superintegrability in two-dimensional constant-curvature spaces [J].

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 [J].

Wojciech Dybalski ;

Yoh Tanimoto .

Letters in Mathematical Physics, 2013, 103 :1223-1241

[30] Systematic study of the completeness of two-dimensional classical φ4 theory [J].

Zarei, Mohammad Hossein ;

Khalili, Yahya .

INTERNATIONAL JOURNAL OF QUANTUM INFORMATION, 2017, 15 (07)

← 1 2 3 4 5 →