Henning Basold, Ekaterina Komendantskaya, Yue Li, Lecture Notes in Computer Science, 11423, Programming Languages and Systems, 2019, 783
Krystian Adam Jobczyk, Antoni Ligeza, 2019 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 2019, 1
Yury Savateev, Daniyar Shamkanov, “Cut Elimination for the Weak Modal Grzegorczyk Logic via Non-well-Founded Proofs”, Lecture Notes in Comput. Sci., 11541 (2019), 569–583
Simon Docherty, Reuben N. S. Rowe, Lecture Notes in Computer Science, 11714, Automated Reasoning with Analytic Tableaux and Related Methods, 2019, 335
R. Kuznets, “Multicomponent proof-theoretic method for proving interpolation properties”, Ann. Pure Appl. Log., 169:12, SI (2018), 1369–1418
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