Evidence Reconstruction of Epistemic Modal Logic S5

DOI10.1007/11753728_32zbMATH Open1185.03016OpenAlexW1847655899MaRDI QIDQ3434705FDOQ3434705

Authors: Natalia Rubtsova 

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

Recommendations

• On Realization of -modality by Evidence Terms
• Cut elimination and realization for epistemic logics with justification
• The logic of proofs, semantically
• Making knowledge explicit: how hard it is
• A quantified logic of evidence

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45)

Cited In (15)

• Tableaux and interpolation for propositional justification logics
• Self-referential justifications in epistemic logic
• A substructural approach to explicit modal logic
• The Logic of Justification
• Modal logics, justification logics, and realization
• Realizations and LP
• On a modal epistemic axiom emerging from McDermott-Doyle logics
• Reasoning with Justifications
• Labeled sequent calculus for justification logics
• Realization for justification logics via nested sequents: modularity through embedding
• Self-referentiality of Justified Knowledge
• Knowledge, Time, and Logical Omniscience
• Justification logics, logics of knowledge, and conservativity
• On Boolean algebraic structure of proofs: towards an algebraic semantics for the logic of proofs
• On Realization of -modality by Evidence Terms

This page was built for publication: Evidence Reconstruction of Epistemic Modal Logic S5

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3434705)