Soundness and completeness results for LEA and probability semantics

DOI10.1007/978-3-030-93100-1_13OpenAlexW4200101922MaRDI QIDQ2151410

Eoin Moore

Publication date: 1 July 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-93100-1_13

zbMATH Keywords

probability logicjustification logic

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Subset models for justification logic
• On aggregating probabilistic evidence
• Probabilistic Justification Logic
• Justification Logic

This page was built for publication: Soundness and completeness results for LEA and probability semantics