Self-referential justifications in epistemic logic

DOI10.1007/s00224-009-9209-3zbMath1216.03037OpenAlexW2146770397MaRDI QIDQ987374

Roman Kuznets

Publication date: 13 August 2010

Published in: Theory of Computing Systems (Search for Journal in Brave)

Full work available at URL: https://boris.unibe.ch/37192/1/224_2009_Article_9209.pdf

zbMATH Keywords

logic of proofsjustification logicself-referentialityepistemic modal logic

Mathematics Subject Classification ID

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

Related Items (11)

Justifications for common knowledge ⋮ Realization Theorems for Justification Logics: Full Modularity ⋮ Self-referentiality in the Brouwer–Heyting–Kolmogorov Semantics of Intuitionistic Logic ⋮ Two Ways to Common Knowledge ⋮ Prehistoric graph in modal derivations and self-referentiality ⋮ The logic of justified belief, explicit knowledge, and conclusive evidence ⋮ Self-referentiality of Brouwer-Heyting-Kolmogorov semantics ⋮ Lower complexity bounds in justification logic ⋮ Realization for justification logics via nested sequents: modularity through embedding ⋮ Realizing public announcements by justifications ⋮ On non-self-referential fragments of modal logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The logic of proofs, semantically
• Self-reference and modal logic
• Active agents
• Gentzen systems for modal logic
• Making knowledge explicit: how hard it is
• On the complexity of the reflected logic of proofs
• Explicit Provability and Constructive Semantics
• Evidence Reconstruction of Epistemic Modal Logic S5
• Self-referentiality of Justified Knowledge
• THE LOGIC OF JUSTIFICATION
• Sequent Calculi for Normal Modal Propositional Logics

This page was built for publication: Self-referential justifications in epistemic logic