Volume: Vol-4071 NMR 2025 | Year: 2025

Paper: « paper5 | paper6 | paper7 »

Reasoning about Chance: Proof Theory for Aleatoric Logic

• Tim French

74-85 PDF