The logic of justified belief, explicit knowledge, and conclusive evidence

DOI10.1016/j.apal.2013.07.005zbMath1300.03015MaRDI QIDQ392273

Alexandru Baltag, Bryan Renne, Sonja Smets

Publication date: 13 January 2014

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2013.07.005

zbMATH Keywords

evidence; belief revision; dynamic epistemic logic; justification logic; logical omniscience; Gettier

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

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

68T30: Knowledge representation

Related Items

Substructural epistemic logics, A new framework for justification logic, Beliefs supported by binary arguments, Unnamed Item, KNOWLEDGE, JUSTIFICATION, AND ADEQUATE REASONS, Semirings of Evidence, Event-based time-stamped claim logic, Structured argumentation dynamics. Undermining attacks in default justification logic, A four-valued dynamic epistemic logic, Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Multi-agent justification logic: communication and evidence elimination
• The paradox of the knower revisited
• The ontology of justifications in the logical setting
• Dealing with logical omniscience: expressiveness and pragmatics
• From the knowability paradox to the existence of proofs
• Dynamic logics of evidence-based beliefs
• What evidence is there that \(2^{\land}65536\) is a natural number?
• The logic of proofs, semantically
• Interacting explicit evidence systems
• Self-referential justifications in epistemic logic
• Two modellings for theory change
• Wang's paradox
• Justification, coherence and knowledge
• A quantified logic of evidence
• Justified common knowledge
• Explicit Provability and Constructive Semantics
• Justifications for common knowledge
• The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge
• Knowledge, Time, and the Problem of Logical Omniscience
• Public communication in justification logic
• Two Ways to Common Knowledge
• Introducing Justification into Epistemic Logic
• Multi-agent Explicit Knowledge
• Update as Evidence: Belief Expansion
• Self-referentiality of Justified Knowledge
• THE LOGIC OF JUSTIFICATION
• Tracking Evidence
• Reasoning with Justifications
• Logical Omniscience Via Proof Complexity
• Knowledge, Time, and Logical Omniscience
• Enumeration operators and modular logic programming
• Distributed Knowledge with Justifications
• Why Do We Need Justification Logic?
• Justification Logic
• Justified and Common Knowledge: Limited Conservativity
• Existence and feasibility in arithmetic