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 条

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

He Pei-Song ;

You Wen-Long ;

Tian Guang-Shan .

CHINESE PHYSICS B, 2011, 20 (01)

[42] SOME FINITE TWO-DIMENSIONAL CONTRACTIONS [J].

MILLS, RD .

AERONAUTICAL QUARTERLY, 1968, 19 :91-&

[43] Exact results for two-dimensional coarsening [J].

Arenzon, J. J. ;

Bray, A. J. ;

Cugliandolo, L. F. ;

Sicilia, A. .

EUROPEAN PHYSICAL JOURNAL B, 2008, 64 (3-4) :403-407

[44] Some problems of two-dimensional hydrodynamics [J].

Wrinch, DM .

PHILOSOPHICAL MAGAZINE, 1924, 48 (288) :1089-1104

[45] Some formulas for two-dimensional permeances [J].

Cividjian, GA ;

Cividjian, AG ;

Silvis-Cividjian, NG .

IEEE TRANSACTIONS ON MAGNETICS, 2000, 36 (05) :3754-3758

[46] Exact results for two-dimensional coarsening [J].

J. J. Arenzon ;

A. J. Bray ;

L. F. Cugliandolo ;

A. Sicilia .

The European Physical Journal B, 2008, 64 :403-407

[47] ONE-DIMENSIONAL AND TWO-DIMENSIONAL NONLINEAR DOPANT DIFFUSION IN CRYSTALLINE SILICON - SOME ANALYTICAL RESULTS [J].

PLEASE, CP ;

KING, JR .

SOLID-STATE ELECTRONICS, 1988, 31 (02) :299-305

[48] Some new results on the two-dimensional kinetic Ising model in the phase coexistence region [J].

Marcelli, E ;

Martinelli, F .

JOURNAL OF STATISTICAL PHYSICS, 1996, 84 (3-4) :655-696

[49] Some results for a class of two-dimensional fractional hyperbolic differential systems with time delay [J].

Arfaoui, Hassen ;

Ben Makhlouf, Abdellatif .

JOURNAL OF APPLIED MATHEMATICS AND COMPUTING, 2022, 68 (04) :2389-2405

[50] Some results for a class of two-dimensional fractional hyperbolic differential systems with time delay [J].

Hassen Arfaoui ;

Abdellatif Ben Makhlouf .

Journal of Applied Mathematics and Computing, 2022, 68 :2389-2405

← 1 2 3 4 5 →