Soundness and completeness results for LEA and probability semantics

DOI10.1093/LOGCOM/EXAC074MaRDI QIDQ5872875zbMATH OpenOpenAlexFDO

Authors Eoin Moore

Publication date 4 January 2023

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exac074

zbMATH Keywords

justification logicprobability logicLax logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Recommendations

• Soundness and completeness results for LEA and probability semantics
• Soundness and completeness of the axioms of a probabilistic modal logic
• A propositional probabilistic logic with discrete linear time for reasoning about evidence
• A complete deductive system for probability logic
• Probabilistic belief logic and its probabilistic Aumann semantics

Cited in

(2)

• Soundness and completeness results for LEA and probability semantics
• LEMA

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

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