Simple evidence elimination in justification logic

DOI10.1007/978-94-007-0074-1_7MaRDI QIDQ2902944zbMATH OpenOpenAlexFDO

Authors Bryan Renne

Publication date 23 August 2012

Published in Dynamic Formal Epistemology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-94-007-0074-1_7

zbMATH Keywords

justification logicevidence eliminationcourtroom evidence examplereasoning about evidence

Mathematics Subject Classification ID

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

Recommendations

• Relating logics of justifications and evidence
• The logic of uncertain justifications
• The logic of uncertain justifications
• Tracking evidence
• Practical extraction of evidence terms from common-knowledge reasoning

Cites work

• scientific article; zbMATH DE number 1114348 (Why is no real title available?)
• Explicit provability and constructive semantics
• Reasoning with Justifications
• The logic of justification
• The logic of proofs, semantically

Cited in

(2)

• Tableaux and interpolation for propositional justification logics
• Multi-agent justification logic: communication and evidence elimination

This page was built for publication: Simple evidence elimination in justification logic

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