with Øhrstrøm, P. , 2012, 'Branching time, indeterminism and tense logic', Synthese 188 (3), 367-379.