Concerning Measures in a First-order Logic with Actions and Meta-beliefs

Daxin Liu, Qihui Feng, Vaishak Belle, Gerhard Lakemeyer

Abstract: The unification of logic and probability has been seen as a long-standing concern in philosophy and mathematical logic. In this paper, we propose a new general probabilistic modal logic of belief a...