Moment/history duality in Prior's logics of branching-time
scientific article; zbMATH DE number 5080778