Self-referential justifications in epistemic logic

DOI10.1007/S00224-009-9209-3zbMATH Open1216.03037OpenAlexW2146770397MaRDI QIDQ987374FDOQ987374

Authors 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

justification logiclogic of proofsself-referentialityepistemic modal logic

Mathematics Subject Classification ID

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

Recommendations

• Self-referentiality of Justified Knowledge
• Logics of proofs and justifications
• On non-self-referential fragments of modal logics
• Introducing Justification into Epistemic Logic
• The Logic of Justification

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 591209 (Why is no real title available?)
• scientific article; zbMATH DE number 1114348 (Why is no real title available?)
• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• Active agents
• Evidence Reconstruction of Epistemic Modal Logic S5
• Explicit provability and constructive semantics
• Gentzen systems for modal logic
• Making knowledge explicit: how hard it is
• On the complexity of the reflected logic of proofs
• Self-reference and modal logic
• Self-referentiality of Justified Knowledge
• Sequent Calculi for Normal Modal Propositional Logics
• The logic of justification
• The logic of proofs, semantically

Cited in

(16)

• Special issue on methods for investigating self-referential truth
• Languages with self-reference. II: Knowledge, belief, and modality
• The logic of justified belief, explicit knowledge, and conclusive evidence
• Self-referentiality of Brouwer-Heyting-Kolmogorov semantics
• Prehistoric phenomena and self-referentiality
• Realizing public announcements by justifications
• Lower complexity bounds in justification logic
• Prehistoric graph in modal derivations and self-referentiality
• Self-enforcing Agreements and Forward Induction Reasoning
• Realization for justification logics via nested sequents: modularity through embedding
• Justifications for common knowledge
• Self-referentiality in the Brouwer-Heyting-Kolmogorov semantics of intuitionistic logic
• Self-referentiality of Justified Knowledge
• On non-self-referential fragments of modal logics
• Two ways to common knowledge
• Realization theorems for justification logics: full modularity

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

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