Approximations of modal logics: K and beyond

dc.creatorRABELLO, Guilherme de Souza
dc.creatorFINGER, Marcelo
dc.date.accessioned2012-10-20T04:42:52Z
dc.date.accessioned2018-07-04T15:45:56Z
dc.date.available2012-10-20T04:42:52Z
dc.date.available2018-07-04T15:45:56Z
dc.date.created2012-10-20T04:42:52Z
dc.date.issued2008
dc.identifierANNALS OF PURE AND APPLIED LOGIC, v.152, n.1/Mar, p.161-173, 2008
dc.identifier0168-0072
dc.identifierhttp://producao.usp.br/handle/BDPI/30415
dc.identifier10.1016/j.apal.2007.11.009
dc.identifierhttp://dx.doi.org/10.1016/j.apal.2007.11.009
dc.identifier.urihttp://repositorioslatinoamericanos.uchile.cl/handle/2250/1627054
dc.description.abstractInspired 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.
dc.languageeng
dc.publisherELSEVIER SCIENCE BV
dc.relationAnnals of Pure and Applied Logic
dc.rightsCopyright ELSEVIER SCIENCE BV
dc.rightsrestrictedAccess
dc.subjectmodal logic
dc.subjectapproximated inference
dc.subjectsingle step tableaux
dc.titleApproximations of modal logics: K and beyond
dc.typeArtículos de revistas


Este ítem pertenece a la siguiente institución