Tracking Evidence

DOI10.1007/978-3-642-15025-8_3zbMath1287.03038OpenAlexW2911807193MaRDI QIDQ3585997

Sergej N. 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)

Related Items (5)

Update as Evidence: Belief Expansion ⋮ Semirings of Evidence ⋮ The logic of justified belief, explicit knowledge, and conclusive evidence ⋮ Realizing public announcements by justifications ⋮ Distributed knowledge justification logics

Uses Software

• DKAL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The logic of proofs, semantically
• Derivability in certain subsystems of the logic of proofs is \(\Pi_2^p\)-complete
• Justified common knowledge
• Making knowledge explicit: how hard it is
• On the complexity of the reflected logic of proofs
• An essay in modal logic
• Explicit Provability and Constructive Semantics
• Epistemology Without Knowledge and Without Belief
• Introducing Justification into Epistemic Logic
• Logic of Proofs for Bounded Arithmetic
• Multi-agent Explicit Knowledge
• THE LOGIC OF JUSTIFICATION

This page was built for publication: Tracking Evidence