Approximations of modal logics: K and beyond

被引：2

作者：

Rabello, Guilherme de Souza ^{[1
]}

Finger, Marcelo ^{[2
]}

机构：

[1] Univ Sao Paulo, Ins Mat & Estatist, BR-05508090 Sao Paulo, Brazil

[2] Univ Sao Paulo, Dept Ciencia Comp, IME, Sao Paulo, Brazil

来源：

ANNALS OF PURE AND APPLIED LOGIC | 2008年 / 152卷 / 1-3期

基金：

巴西圣保罗研究基金会;

关键词：

modal logic; approximated inference; single step tableaux;

D O I：

10.1016/j.apal.2007.11.009

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

Inspired by the recent work on approximations of classical logic, we present a method that approximates several modal logics in a modular way. Our starting point is the limitation of the n-degree of introspection that is allowed, thus generating modal n-logics. The semantics for n-logics is presented, in which formulas are evaluated with respect to paths, and not possible worlds. A tableau-based proof system is presented, n-SST, and soundness and completeness is shown for the approximation of modal logics K, T, D, S4 and S5. (c) 2008 Published by Elsevier B.V.

引用

页码：161 / 173

页数：13

共 17 条

[1]

Boole G., 1854, An investigation of the laws of thought on which are founded the mathematical theories of logic and probabilities

[2] BELIEF, AWARENESS, AND LIMITED REASONING [J].

FAGIN, R ;

HALPERN, JY .

ARTIFICIAL INTELLIGENCE, 1987, 34 (01) :39-76

[3] Cut and pay [J].

Finger M. ;

Gabbay D. .

Journal of Logic, Language and Information, 2006, 15 (3) :195-218

[4] The universe of propositional approximations [J].

Finger, M ;

Wassermann, R .

THEORETICAL COMPUTER SCIENCE, 2006, 355 (02) :153-166

[5] Approximate and limited reasoning: Semantics, proof theory, expressivity and control [J].

Finger, M ;

Wasserman, R .

JOURNAL OF LOGIC AND COMPUTATION, 2004, 14 (02) :179-204

[6]

FINGER M, 2001, UCAI 2001 WORKSH INC, P71

[7]

FINGER M, 2005, WOLLIC 2005 P 12 WOR, P159

[8]

Fitting M., 1983, PROOF METHODS MODAL

[9]

FITTING M, 1998, FRIST ORDER MODAL LO

[10] AN ALGEBRAIC-THEORY OF NORMAL FORMS [J].

GHILARDI, S .

ANNALS OF PURE AND APPLIED LOGIC, 1995, 71 (03) :189-245

← 1 2 →