Making knowledge explicit: how hard it is

DOI10.1016/J.TCS.2006.03.010zbMATH Open1094.03006OpenAlexW1992064866MaRDI QIDQ2500480FDOQ2500480

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

Recommendations

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

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)

Cites Work

• Title not available (Why is that?)
• Explicit provability and constructive semantics
• The logic of proofs, semantically
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Kolmogorov and Gödel's approach to intuitionistic logic: current developments

Cited In (26)

• Self-referentiality of Brouwer-Heyting-Kolmogorov semantics
• Practical extraction of evidence terms from common-knowledge reasoning
• Derivability in certain subsystems of the logic of proofs is \(\Pi_2^p\)-complete
• Self-referential justifications in epistemic logic
• The ontology of justifications in the logical setting
• The Logic of Justification
• The logic of proofs, semantically
• Realization Theorems for Justification Logics: Full Modularity
• Prehistoric graph in modal derivations and self-referentiality
• Non-circular proofs and proof realization in modal logic
• Tracking evidence
• Symmetric Logic of Proofs
• MAKING SOME ISSUES OF IMPLICIT KNOWLEDGE EXPLICIT
• An Arithmetical Interpretation of Verification and Intuitionistic Knowledge
• Justified common knowledge
• On the complexity of the reflected logic of proofs
• Reasoning with Justifications
• The logic of justification
• A Conflict Tolerant Logic of Explicit Evidence
• Self-referentiality in the Brouwer–Heyting–Kolmogorov Semantics of Intuitionistic Logic
• Self-referentiality of Justified Knowledge
• Justification Logic
• On non-self-referential fragments of modal logics
• Evidence Reconstruction of Epistemic Modal Logic S5
• On Realization of -modality by Evidence Terms
• Title not available (Why is that?)

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)