Epistemic extensions of modal distributive substructural logics

DOI10.1093/LOGCOM/EXU034zbMath1354.03018OpenAlexW2117560419MaRDI QIDQ2957968

Igor Sedlár

Publication date: 31 January 2017

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exu034

zbMATH Keywords

belief revisionknowledge representationsubstructural logicsnonmonotonic reasoningepistemic logics

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (5)

Situated epistemic updates ⋮ Substructural epistemic logics ⋮ A substructural approach to explicit modal logic ⋮ Relevant epistemic logic with public announcements and common knowledge ⋮ Epistemic Relevance and Epistemic Actions

This page was built for publication: Epistemic extensions of modal distributive substructural logics