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

DOI10.1016/J.APAL.2013.07.005zbMATH Open1300.03015OpenAlexW2048792847MaRDI QIDQ392273FDOQ392273

Authors: 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

Recommendations

• The logic of justified belief change, soft evidence and defeasible knowledge
• Justified belief and the topology of evidence
• The Logic of Justification
• Logic of evidence-based knowledge
• The logic of justification

zbMATH Keywords

evidencebelief revisiondynamic epistemic logicjustification logicGettierlogical omniscience

Mathematics Subject Classification ID

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

Cites Work

• Modal logic
• Two modellings for theory change
• Wang's paradox
• A qualitative theory of dynamic interactive belief revision
• Title not available (Why is that?)
• Explicit provability and constructive semantics
• The ontology of justifications in the logical setting
• Existence and feasibility in arithmetic
• The logic of proofs, semantically
• Title not available (Why is that?)
• The logic of justification
• Introducing Justification into Epistemic Logic
• Reasoning with Justifications
• Multi-agent justification logic: communication and evidence elimination
• Dynamic logics of evidence-based beliefs
• Interacting explicit evidence systems
• Justification, coherence and knowledge
• A quantified logic of evidence
• Justified common knowledge
• 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
• Title not available (Why is that?)
• Multi-agent Explicit Knowledge
• Update as Evidence: Belief Expansion
• Self-referentiality of Justified Knowledge
• Tracking evidence
• Logical Omniscience Via Proof Complexity
• Knowledge, Time, and Logical Omniscience
• Enumeration operators and modular logic programming
• The paradox of the knower revisited
• Distributed knowledge with justifications
• Why do we need justification logic?
• Justification Logic
• Justified and Common Knowledge: Limited Conservativity
• Dealing with logical omniscience: expressiveness and pragmatics
• From the knowability paradox to the existence of proofs
• What evidence is there that \(2^{\land}65536\) is a natural number?
• Self-referential justifications in epistemic logic

Cited In (18)

• A four-valued dynamic epistemic logic
• Semirings of Evidence
• Substructural epistemic logics
• The logic of justified belief change, soft evidence and defeasible knowledge
• A new framework for justification logic
• Belief, knowledge and faith: a logical modal theory
• Event-based time-stamped claim logic
• Title not available (Why is that?)
• Beliefs supported by binary arguments
• Title not available (Why is that?)
• Credal Calculi, Evidence, and Consistency
• Epistemic instrumentalism and the reason to believe in accord with the evidence
• Structured argumentation dynamics. Undermining attacks in default justification logic
• Logic of evidence-based knowledge
• KNOWLEDGE, JUSTIFICATION, AND ADEQUATE REASONS
• Knowledge, justification, and (a sort of) safe belief
• Near Triviality of Conclusive Reasons
• Title not available (Why is that?)

This page was built for publication: The logic of justified belief, explicit knowledge, and conclusive evidence

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