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 条

[31] Framework for ER-Completeness of Two-Dimensional Packing Problems [J].

Abrahamsen, Mikkel ;

Miltzow, Tillmann ;

Seiferth, Nadja .

2020 IEEE 61ST ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (FOCS 2020), 2020, :1014-1021

[32] Asymptotic Completeness for Infraparticles in Two-Dimensional Conformal Field Theory [J].

Dybalski, Wojciech ;

Tanimoto, Yoh .

LETTERS IN MATHEMATICAL PHYSICS, 2013, 103 (11) :1223-1241

[33] NON-FINITELY AXIOMATISABLE TWO-DIMENSIONAL MODAL LOGICS [J].

Kurucz, Agi ;

Marcelino, Sergio .

JOURNAL OF SYMBOLIC LOGIC, 2012, 77 (03) :970-986

[34] Canonical extensions and relational completeness of some substructural logics [J].

Dunn, JM ;

Gehrke, M ;

Palmigiano, A .

JOURNAL OF SYMBOLIC LOGIC, 2005, 70 (03) :713-740

[35] COMPLETENESS THEOREMS FOR SOME PRESUPPOSITION-FREE LOGICS [J].

LEBLANC, H ;

THOMASON, RH .

JOURNAL OF PHILOSOPHY, 1966, 63 (21) :699-700

[36] Some results for two-dimensional random walk, II.: Additive functionals [J].

Csáki, E .

JOURNAL OF STATISTICAL PLANNING AND INFERENCE, 2002, 101 (1-2) :49-56

[37] Some results on the phase structure of the two-dimensional Widom-Rowlinson model [J].

Higuchi, Y ;

Takei, M .

OSAKA JOURNAL OF MATHEMATICS, 2004, 41 (02) :237-255

[38] Double potts chain and exact results for some two-dimensional spin models [J].

M. A. Yurishchev .

Journal of Experimental and Theoretical Physics, 2001, 93 :1113-1118

[39] Two-dimensional quantum compass model in a staggered field:some rigorous results [J].

何培松 ;

尤文龙 ;

田光善 .

Chinese Physics B, 2011, 20 (01) :17-26

[40] Double Potts chain and exact results for some two-dimensional spin models [J].

Yurishchev, MA .

JOURNAL OF EXPERIMENTAL AND THEORETICAL PHYSICS, 2001, 93 (05) :1113-1118

← 1 2 3 4 5 →