Relating logics of justifications and evidence

MaRDI QIDQ5365504zbMATH OpenFDO

Authors Igor Sedlár

Publication date 6 October 2017

zbMATH Keywords

awareness logicscompletenessepistemic logicevidence logicsjustification logicsrealization

Mathematics Subject Classification ID

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

Recommendations

• Logics of proofs and justifications
• Evidence logics with relational evidence
• Distributed knowledge justification logics
• Reasoning with Justifications
• The logic of justified belief, explicit knowledge, and conclusive evidence

Cited in

(11)

• Evidence logics with relational evidence
• Paraconsistent logic, evidence, and justification
• A quantified logic of evidence
• Reasoning about justified belief based on the fusion of evidence
• Simple evidence elimination in justification logic
• The logic of uncertain justifications
• Tracking evidence
• Beliefs and evidence in justification models
• Semirings of Evidence
• Weak relevant justification logics
• Hyperintensional epistemic justification: a ground-theoretic topic-sensitive semantics

This page was built for publication: Relating logics of justifications and evidence

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