An Expressive Probabilistic Temporal Logic

Bruno Woltzenlogel Paleo

This paper argues that a combined treatment of probabilities, time and actions is essential for an appropriate logical account of the notion of probability; and, based on this intu…