Number of the records: 1
Epistemic extensions of modal distributive substructural logics
- 1.0478133 - ÚI 2018 GB eng J - Journal Article
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
Keywords : revision functions * belief revision * relevant logics * semantics * contraction * entailment * Belief revision * epistemic logics * knowledge representation * non-monotonic reasoning * substructural logics
Impact factor: 0.909, year: 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.
Permanent Link: http://hdl.handle.net/11104/0274491
Number of the records: 1