Björn Lellmann, Francesca Poggiolesi, Outstanding Contributions to Logic, 30, Saul Kripke on Modal Logic, 2024, 243
Bahareh Afshari, Gerhard Jäger, Graham E. Leigh, Lecture Notes in Computer Science, 11541, Logic, Language, Information, and Computation, 2019, 17
Lev D. Beklemishev, “A universal algebra for the variable-free fragment of $RC^\nabla$”, Lecture Notes in Comput. Sci., 10703 (2018), 91–106
Lev D. Beklemishev, “On the reflection calculus with partial conservativity operators”, Lecture Notes in Comput. Sci., 10388 (2017), 48–67
С. Л. Кузнецов, “О преобразовании грамматик Ламбека с одним делением в контекстно-свободные грамматики”, Труды МИАН, 294 (2016), 141–151 ; S. L. Kuznetsov, “On translating Lambek grammars with one division into context-free grammars”, Proc. Steklov Inst. Math., 294 (2016), 129–138