The probability nesting game

DOI10.1016/S1571-0661(05)80360-3MaRDI QIDQ2842598zbMATH OpenOpenAlexFDO

Authors Danièle Beauquier, Alexander Rabinovich, Anatol Slissenko, Yoram Hirshfeld

Publication date 15 August 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s1571-0661(05)80360-3

Mathematics Subject Classification ID

Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 1904893
• Probability logics. Probability-based formalization of uncertain reasoning
• Towards classifying propositional probabilistic logics
• A logic for reasoning about qualitative probability
• Some first-order probability logics

Cites work

• A logic for reasoning about probabilities
• An analysis of first-order logics of probability
• An application of games to the completeness problem for formalized theories
• Decidability and expressiveness for first-order logics of probability
• scientific article; zbMATH DE number 3115890 (Why is no real title available?)
• scientific article; zbMATH DE number 1302020 (Why is no real title available?)
• scientific article; zbMATH DE number 612169 (Why is no real title available?)
• scientific article; zbMATH DE number 1007358 (Why is no real title available?)
• scientific article; zbMATH DE number 1948170 (Why is no real title available?)
• The complexity of probabilistic verification

This page was built for publication: The probability nesting game

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