Simple Evidence Elimination in Justification Logic

DOI10.1007/978-94-007-0074-1_7zbMath1256.03020OpenAlexW2122398324MaRDI QIDQ2902944

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)

Related Items (2)

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

Cites Work

• Unnamed Item
• The logic of proofs, semantically
• Explicit Provability and Constructive Semantics
• THE LOGIC OF JUSTIFICATION
• Reasoning with Justifications

This page was built for publication: Simple Evidence Elimination in Justification Logic