A logic for reasoning about time and probability (1994)

by H Hansson, B Jonsson
Venue:Formal Aspects of Computing