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

DOI10.1016/j.apal.2013.07.005zbMath1300.03015OpenAlexW2048792847MaRDI 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

evidencebelief revisiondynamic epistemic logicjustification logiclogical omniscienceGettier

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)

Related Items

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

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