Decidability and Expressiveness for First-Order Logics of Probability

Joseph Y. Halpern
Inf. Comput., 112(1994), pp. 1-36

Abstract

Research Areas