NON-FINITELY AXIOMATISABLE TWO-DIMENSIONAL MODAL LOGICS

被引：3

作者：

Kurucz, Agi ^{[1
]}

Marcelino, Sergio ^{[1
,2
]}

机构：

[1] Kings Coll London, Dept Informat, London WC2R 2LS, England

[2] Inst Super Tecn, IT Lisboa, SQIG, P-1049001 Lisbon, Portugal

来源：

JOURNAL OF SYMBOLIC LOGIC | 2012年 / 77卷 / 03期

关键词：

PRODUCTS;

D O I：

10.2178/jsl/1344862170

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

We show the first examples of recursively enumerable (even decidable) two-dimensional products of finitely axiomatisable modal logics that are not finitely axiomatisable. In particular, we show that any axiomatisation of some bimodal logics that are determined by classes of product frames with linearly ordered first components must be infinite in two senses: It should contain infinitely many propositional variables, and formulas of arbitrarily large modal nesting-depth.

引用

页码：970 / 986

页数：17

共 23 条

[1] Complexity of equations valid in algebras of relations Part I: Strong non-finitizability [J].

Andreka, H .

ANNALS OF PURE AND APPLIED LOGIC, 1997, 89 (2-3) :149-209

[2]

[Anonymous], 1997, OXFORD LOGIC GUIDES

[3]

[Anonymous], 2003, Studies in logic and the foundations of mathematics

[4]

[Anonymous], 2002, Cambridge Tracts in Theoretical Computer Science

[5] A survey of temporal extensions of description logics [J].

Artale, A ;

Franconi, E .

ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2000, 30 (1-4) :171-210

[6]

Baader Franz, 1995, J APPL NONCLASSICAL, V5, P153

[7]

Davoren J.M., 2002, ADV MODAL LOGIC, V3, P91, DOI DOI 10.1142/5114

[8] Logics for hybrid systems [J].

Davoren, JM ;

Nerode, A .

PROCEEDINGS OF THE IEEE, 2000, 88 (07) :985-1010

[9]

Fagin R., 1995, Reasoning about Knowledge

[10]

GABBAY D., 1998, J IGPL, V6, P73

← 1 2 3 →