Evidence Reconstruction of Epistemic Modal Logic S5
From MaRDI portal
Publication:3434705
DOI10.1007/11753728_32zbMath1185.03016OpenAlexW1847655899MaRDI QIDQ3434705
Publication date: 2 May 2007
Published in: Computer Science – Theory and Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11753728_32
Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42)
Related Items (12)
Modal logics, justification logics, and realization ⋮ Labeled sequent calculus for justification logics ⋮ Self-referentiality of Justified Knowledge ⋮ On Boolean algebraic structure of proofs: towards an algebraic semantics for the logic of proofs ⋮ A substructural approach to explicit modal logic ⋮ Realizations and LP ⋮ Realization for justification logics via nested sequents: modularity through embedding ⋮ The Logic of Justification ⋮ Self-referential justifications in epistemic logic ⋮ Reasoning with Justifications ⋮ Knowledge, Time, and Logical Omniscience ⋮ Justification logics, logics of knowledge, and conservativity
This page was built for publication: Evidence Reconstruction of Epistemic Modal Logic S5
