Пиманов А. С. Семантика переходов и детерминизм во временной логике. Философия-ВШЭ 2023, 7, 261-283.