Simple evidence elimination in justification logic

DOI10.1007/978-94-007-0074-1_7zbMATH Open1256.03020OpenAlexW2122398324MaRDI QIDQ2902944FDOQ2902944

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

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

zbMATH Keywords

justification logicevidence eliminationcourtroom evidence examplereasoning about evidence

Mathematics Subject Classification ID

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

Cites Work

• Explicit provability and constructive semantics
• The logic of proofs, semantically
• The logic of justification
• Title not available (Why is that?)
• Reasoning with Justifications

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)