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

DOI10.1016/J.APAL.2013.07.005MaRDI QIDQ392273zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 3873291 (Why is no real title available?)
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• A qualitative theory of dynamic interactive belief revision
• A quantified logic of evidence
• Dealing with logical omniscience: expressiveness and pragmatics
• Distributed knowledge with justifications
• Dynamic logics of evidence-based beliefs
• Enumeration operators and modular logic programming
• Existence and feasibility in arithmetic
• Explicit provability and constructive semantics
• From the knowability paradox to the existence of proofs
• Interacting explicit evidence systems
• Introducing Justification into Epistemic Logic
• Justification logic. Reasoning with reasons
• Justification, coherence and knowledge
• Justifications for common knowledge
• Justified and Common Knowledge: Limited Conservativity
• Justified common knowledge
• Knowledge, Time, and Logical Omniscience
• Knowledge, time, and the problem of logical omniscience
• Logical Omniscience Via Proof Complexity
• Modal logic
• Multi-agent Explicit Knowledge
• Multi-agent justification logic: communication and evidence elimination
• Public communication in justification logic
• Reasoning with Justifications
• Self-referential justifications in epistemic logic
• Self-referentiality of Justified Knowledge
• The logic of justification
• The logic of justified belief change, soft evidence and defeasible knowledge
• The logic of proofs, semantically
• The ontology of justifications in the logical setting
• The paradox of the knower revisited
• Tracking evidence
• Two modellings for theory change
• Two ways to common knowledge
• Update as evidence: belief expansion
• Wang's paradox
• What evidence is there that \(2^{\land}65536\) is a natural number?
• Why do we need justification logic?

Cited in

(22)

• Epistemic instrumentalism and the reason to believe in accord with the evidence
• Semirings of Evidence
• Gettier cases, logical knowledge and evidential luck
• Event-based time-stamped claim logic
• Argument-based belief in topological structures
• A four-valued dynamic epistemic logic
• Knowledge, justification, and adequate reasons
• Near Triviality of Conclusive Reasons
• Logic of evidence-based knowledge
• The logic of justified belief change, soft evidence and defeasible knowledge
• Belief, knowledge and faith: a logical modal theory
• Beliefs supported by binary arguments
• Justified belief and the topology of evidence
• Reasoning about justified belief based on the fusion of evidence
• scientific article; zbMATH DE number 7450019 (Why is no real title available?)
• Structured argumentation dynamics. Undermining attacks in default justification logic
• Relating logics of justifications and evidence
• Credal Calculi, Evidence, and Consistency
• Substructural epistemic logics
• Knowledge, justification, and (a sort of) safe belief
• A new framework for justification logic
• scientific article; zbMATH DE number 1303329 (Why is no real title available?)

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)