Self-referential justifications in epistemic logic

DOI10.1007/s00224-009-9209-3zbMath1216.03037MaRDI 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 proofs; justification logic; self-referentiality; epistemic modal logic

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03B42: Logics of knowledge and belief (including belief change)

Related Items

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, On non-self-referential fragments of modal logics, Prehistoric graph in modal derivations and self-referentiality, Realizing public announcements by justifications, Justifications for common knowledge, Two Ways to Common Knowledge, Realization Theorems for Justification Logics: Full Modularity, Self-referentiality in the Brouwer–Heyting–Kolmogorov Semantics of Intuitionistic Logic

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