Self-referential justifications in epistemic logic
From MaRDI portal
Publication:987374
Recommendations
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)