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