K. A. Jobczyk, A. Ligeza, “An epistemic Halpern-Shoham logic for gradable justification”, 2018 IEEE International Conference on Fuzzy Systems (Fuzz-IEEE), IEEE International Conference on Fuzzy Systems, IEEE, 2018
Krystian Adam Jobczyk, Antoni Ligeza, 2018 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 2018, 1
B. Afshari, G. E. Leigh, “Cut-free completeness for modal $\mu$-calculus”, 2017 32nd Annual Acm/IEEE Symposium on Logic in Computer Science (LICS), IEEE Symposium on Logic in Computer Science, IEEE, 2017
S. Kuznetsov, “The Lambek calculus with iteration: two variants”, Logic, Language, Information, and Computation, WoLLIC 2017 (London, UK, July 18–21, 2017), Lecture Notes in Computer Science, 10388, eds. J. Kennedy, R. DeQueiroz, Springer International Publishing Ag, 2017, 182–198
Yu. Savateev, D. Shamkanov, “Cut-elimination for the modal Grzegorczyk logic via non-well-founded proofs”, Logic, Language, Information, and Computation, WoLLIC 2017 (London, UK, July 18–21, 2017), Lecture Notes in Computer Science, 10388, eds. J. Kennedy, R. DeQueiroz, Springer International Publishing Ag, 2017, 321–335
D. Shamkanov, “Global neighbourhood completeness of the Gödel-Lob provability logic”, Logic, Language, Information, and Computation, WoLLIC 2017 (London, UK, July 18–21, 2017), Lecture Notes in Computer Science, 10388, eds. J. Kennedy, R. DeQueiroz, Springer International Publishing Ag, 2017, 358–370
Bahareh Afshari, Graham E. Leigh, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017, 1
Д. С. Шамканов, “Теорема о реализации для логики доказуемости Гёделя–Лёба”, Матем. сб., 207:9 (2016), 171–190 ; D. S. Shamkanov, “A realization theorem for the Gödel-Löb provability logic”, Sb. Math., 207:9 (2016), 1344–1360
С. Л. Кузнецов, “О преобразовании грамматик Ламбека с одним делением в контекстно-свободные грамматики”, Современные проблемы математики, механики и математической физики. II, Сборник статей, Труды МИАН, 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