Sequent calculus for propositional likelihood logic

zbMATH Open1163.03309MaRDI QIDQ3607556FDOQ3607556

Authors: Romas Alonderis 

Publication date: 2 March 2009

Recommendations

• Sequent calculi for propositional star-free likelihood logic
• A proof-search system for the logic of likelihood
• A logic to reason about likelihood
• Sequent calculus for classical logic probabilized
• Suppes-style sequent calculus for probability logic

zbMATH Keywords

sequent calculusmodal operatorsprotocol verificationadmissibility of structural ruleslogic of likelihood

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logic in computer science (03B70)

Cited In (2)

• Sequent calculi for propositional star-free likelihood logic
• A proof-search system for the logic of likelihood

This page was built for publication: Sequent calculus for propositional likelihood logic

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