Tracking evidence

DOI10.1007/978-3-642-15025-8_3zbMATH Open1287.03038OpenAlexW2911807193MaRDI QIDQ3585997FDOQ3585997

Authors: Sergei Artemov 

Publication date: 3 September 2010

Published in: Fields of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15025-8_3

Recommendations

• Relating logics of justifications and evidence
• The logic of justification
• The Logic of Justification
• Interacting explicit evidence systems
• Distributed knowledge justification logics

zbMATH Keywords

evidenceepistemic logicjustification

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Cites Work

• Title not available (Why is that?)
• Explicit provability and constructive semantics
• The logic of proofs, semantically
• The logic of justification
• Title not available (Why is that?)
• An essay in modal logic
• Introducing Justification into Epistemic Logic
• Justified common knowledge
• Making knowledge explicit: how hard it is
• On the complexity of the reflected logic of proofs
• Title not available (Why is that?)
• Multi-agent Explicit Knowledge
• Derivability in certain subsystems of the logic of proofs is \(\Pi_2^p\)-complete
• Epistemology without knowledge and without belief
• Logic of Proofs for Bounded Arithmetic
• Title not available (Why is that?)

Cited In (7)

• The logic of justified belief, explicit knowledge, and conclusive evidence
• Semirings of Evidence
• Simple evidence elimination in justification logic
• Update as evidence: belief expansion
• Realizing public announcements by justifications
• COSTLY EVIDENCE AND SYSTEMS OF FACT-FINDING
• Distributed knowledge justification logics

Uses Software

• DKAL

This page was built for publication: Tracking evidence

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