PimanovA. (2023) “Transition Semantics and Determinism in Temporal Logic”, Philosophy Journal of the Higher School of Economics, 7(2), pp. 261-283. doi: 10.17323/2587-8719-2023-2-261-283.