Tracking evidence

DOI10.1007/978-3-642-15025-8_3MaRDI QIDQ3585997zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

evidenceepistemic logicjustification

Mathematics Subject Classification ID

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

Recommendations

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

Cites work

• scientific article; zbMATH DE number 1670490 (Why is no real title available?)
• scientific article; zbMATH DE number 5606348 (Why is no real title available?)
• scientific article; zbMATH DE number 1114348 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• An essay in modal logic
• Derivability in certain subsystems of the logic of proofs is \(\Pi_2^p\)-complete
• Epistemology without knowledge and without belief
• Explicit provability and constructive semantics
• Introducing Justification into Epistemic Logic
• Justified common knowledge
• Logic of Proofs for Bounded Arithmetic
• Making knowledge explicit: how hard it is
• Multi-agent Explicit Knowledge
• On the complexity of the reflected logic of proofs
• The logic of justification
• The logic of proofs, semantically

Cited in

(7)

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

Describes a project that uses

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)