Aleatoric propositions: reasoning about coins

DOI10.1007/978-3-031-39784-4_14OpenAlexW4386232644MaRDI QIDQ6118691

Tim French

Publication date: 28 February 2024

Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-39784-4_14

zbMATH Keywords

expressivityprobabilistic reasoningcorrespondence theory

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites Work

• Unnamed Item
• Unnamed Item
• A probabilistic PDL
• Qualitative probability as an intensional logic
• Boole's logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory
• Pólya's theorem with zeros
• A modal aleatoric calculus for probabilistic reasoning
• New coins from old: Computing with unknown bias
• Expressive probabilistic description logics
• A Bernoulli factory