Epistemic extensions of modal distributive substructural logics

摘要

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.