Evidence Reconstruction of Epistemic Modal Logic S5

DOI10.1007/11753728_32MaRDI QIDQ3434705zbMATHOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cited in

(15)

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

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)