Decidability and Expressiveness for First-Order Logics of Probability (Extended Abstract)

Martn Abadi, Joseph Y. Halpern

Browse the full FOCS paper archive.