Epistemic extensions of modal distributive substructural logics

0478133 - ÚI 2018 GB eng J - Článek v odborném periodiku
Sedlár, Igor
Epistemic extensions of modal distributive substructural logics.
Journal of Logic and Computation. Roč. 26, č. 6 (2016), s. 1787-1813. ISSN 0955-792X. E-ISSN 1465-363X
Klíčová slova: revision functions * belief revision * relevant logics * semantics * contraction * entailment * Belief revision * epistemic logics * knowledge representation * non-monotonic reasoning * substructural logics
Impakt faktor: 0.909, rok: 2016

This article introduces substructural epistemic logics by combining relational models for modal distributive substructural logics with Kripke models for normal modal logics. The main result is a general completeness theorem. It is also noted that the substructural epistemic framework is suitable for modelling non-monotonic information update and non-classical relational belief revision.
Trvalý link: http://hdl.handle.net/11104/0274491