A proof-search system for the logic of likelihood

DOI10.1093/JIGPAL/JZZ022zbMATH Open1494.03070OpenAlexW2964501316WikidataQ127941723 ScholiaQ127941723MaRDI QIDQ5082322FDOQ5082322

Authors: Romas Alonderis, Haroldas Giedra 

Publication date: 16 June 2022

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzz022

Recommendations

• Sequent calculus for propositional likelihood logic
• Sequent calculi for propositional star-free likelihood logic
• A logic to reason about likelihood
• Suppes-style sequent calculus for probability logic
• A sequent calculus for a logic of contingencies

zbMATH Keywords

decidabilitysequent calculuslikelihood logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05) Decidability of theories and sets of sentences (03B25)

Cited In (3)

• Sequent calculi for propositional star-free likelihood logic
• Loop-type sequent calculi for temporal logic
• Sequent calculus for propositional likelihood logic

This page was built for publication: A proof-search system for the logic of likelihood

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