Self-referentiality of Justified Knowledge

DOI10.1007/978-3-540-79709-8_24zbMath1143.03010OpenAlexW1494825095MaRDI QIDQ3503641

Roman Kuznets

Publication date: 5 June 2008

Published in: Computer Science – Theory and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-79709-8_24

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items (9)

NEXP-Completeness and Universal Hardness Results for Justification Logic ⋮ 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 ⋮ Realizations and LP ⋮ A complexity question in justification logic ⋮ On non-self-referential fragments of modal logics ⋮ Self-referential justifications in epistemic logic ⋮ The NP-Completeness of Reflected Fragments of Justification Logics

Cites Work

• The logic of proofs, semantically
• Making knowledge explicit: how hard it is
• Explicit Provability and Constructive Semantics
• Evidence Reconstruction of Epistemic Modal Logic S5
• Justification Logic
• Sequent Calculi for Normal Modal Propositional Logics

This page was built for publication: Self-referentiality of Justified Knowledge