Branching time, indeterminism and tense logic

2012

Thomas Ploug, Peter Øhrstrøm

Synthese 188 (3)