5 citations to https://www.mathnet.ru/eng/ljour1
-
Björn Lellmann, Francesca Poggiolesi, Outstanding Contributions to Logic, 30, Saul Kripke on Modal Logic, 2024, 243
-
Bahareh Afshari, Gerhard Jä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
-
S. L. Kuznetsov, “On translating Lambek grammars with one division into context-free grammars”, Proc. Steklov Inst. Math., 294 (2016), 129–138