Jump to Content

Decidability and Expressiveness for First-Order Logics of Probability

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

Abstract

Research Areas