Self-referentiality of Justified Knowledge

DOI10.1007/978-3-540-79709-8_24MaRDI QIDQ3503641zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Self-referential justifications in epistemic logic
• On non-self-referential fragments of modal logics
• Comments on Artemov
• Logics of proofs and justifications
• Justification logics, logics of knowledge, and conservativity

Cites work

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

Cited in

(10)

• Prehistoric graph in modal derivations and self-referentiality
• A complexity question in justification logic
• NEXP-completeness and universal hardness results for justification logic
• The NP-Completeness of Reflected Fragments of Justification Logics
• The logic of justified belief, explicit knowledge, and conclusive evidence
• Self-referentiality of Brouwer-Heyting-Kolmogorov semantics
• scientific article; zbMATH DE number 150216 (Why is no real title available?)
• On non-self-referential fragments of modal logics
• Realizations and LP
• Self-referential justifications in epistemic logic

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

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