Approximations of modal logics: K and beyond
Contribuinte(s) |
UNIVERSIDADE DE SÃO PAULO |
---|---|
Data(s) |
20/10/2012
20/10/2012
2008
|
Resumo |
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. |
Identificador |
ANNALS OF PURE AND APPLIED LOGIC, v.152, n.1/Mar, p.161-173, 2008 0168-0072 http://producao.usp.br/handle/BDPI/30415 10.1016/j.apal.2007.11.009 |
Idioma(s) |
eng |
Publicador |
ELSEVIER SCIENCE BV |
Relação |
Annals of Pure and Applied Logic |
Direitos |
restrictedAccess Copyright ELSEVIER SCIENCE BV |
Palavras-Chave | #modal logic #approximated inference #single step tableaux #Mathematics, Applied #Mathematics |
Tipo |
article original article publishedVersion |