Making knowledge explicit: how hard it is

DOI10.1016/J.TCS.2006.03.010MaRDI QIDQ2500480zbMATH OpenOpenAlexFDO

Authors Vladimir Brezhnev, Roman Kuznets

Publication date 16 August 2006

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2006.03.010

zbMATH Keywords

modal logiclogic of proofsevidence-based reasoningself-referencereasoning about knowledgeproof polynomials

Mathematics Subject Classification ID

Knowledge representation (68T30) Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Complexity of proofs (03F20) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Recommendations

• The logic of proofs, semantically
• scientific article; zbMATH DE number 1670490
• A quantified logic of evidence
• Realizations and LP
• Realizations and LP

Cites work

• scientific article; zbMATH DE number 3583767 (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?)
• scientific article; zbMATH DE number 3208243 (Why is no real title available?)
• Explicit provability and constructive semantics
• Kolmogorov and Gödel's approach to intuitionistic logic: current developments
• The logic of proofs, semantically

Cited in

(26)

• The logic of justification
• Self-referentiality of Brouwer-Heyting-Kolmogorov semantics
• The Logic of Justification
• A Conflict Tolerant Logic of Explicit Evidence
• Tracking evidence
• Justified common knowledge
• On the complexity of the reflected logic of proofs
• The logic of proofs, semantically
• Symmetric Logic of Proofs
• Self-referential justifications in epistemic logic
• Evidence Reconstruction of Epistemic Modal Logic S5
• On Realization of -modality by Evidence Terms
• Derivability in certain subsystems of the logic of proofs is \(\Pi_2^p\)-complete
• Prehistoric graph in modal derivations and self-referentiality
• The ontology of justifications in the logical setting
• MAKING SOME ISSUES OF IMPLICIT KNOWLEDGE EXPLICIT
• scientific article; zbMATH DE number 1670490 (Why is no real title available?)
• An arithmetical interpretation of verification and intuitionistic knowledge
• Non-circular proofs and proof realization in modal logic
• Self-referentiality in the Brouwer-Heyting-Kolmogorov semantics of intuitionistic logic
• Reasoning with Justifications
• Self-referentiality of Justified Knowledge
• On non-self-referential fragments of modal logics
• Practical extraction of evidence terms from common-knowledge reasoning
• Justification Logic
• Realization theorems for justification logics: full modularity

This page was built for publication: Making knowledge explicit: how hard it is

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