A proof-search system for the logic of likelihood

DOI10.1093/JIGPAL/JZZ022MaRDI QIDQ5082322zbMATH OpenOpenAlexWikidataFDO

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

zbMATH Keywords

decidabilitylikelihood logicsequent calculus

Mathematics Subject Classification ID

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

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

Cited in

(3)

• Loop-type sequent calculi for temporal logic
• Sequent calculi for propositional star-free likelihood 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)