Rooduijn J., “Cyclic Hypersequent Calculi For Some Modal Logics With the Master Modality”, Automated Reasoning With Analytic Tableaux and Related Methods, Tableaux 2021, Lecture Notes in Artificial Intelligence, 12842, eds. Das A., Negri S., Springer International Publishing Ag, 2021, 354–370
SAVATEEV Y. U. R. Y., SHAMKANOV D. A. N. I. Y. A. R., “Non-Well-Founded Proofs For the Grzegorczyk Modal Logic”, Rev. Symb. Log., 14:1 (2021), PII S1755020319000510, 22–50
Iwata S., “Interpolation Properties For Sacchetti'S Logics”, Advances in Mathematical Logic, Springer Proceedings in Mathematics & Statistics, 369, eds. Arai T., Kikuchi M., Kuroda S., Okada M., Yorioka T., Springer, 2021, 47–76
Kavvos G.A., “Dual-Context Calculi For Modal Logic”, Log. Meth. Comput. Sci., 16:3 (2020), 10
Shamkanov D., “Non-Well-Founded Derivations in the Godel-Lob Provability Logic”, Rev. Symb. Log., 13:4 (2020), PII S1755020319000613, 776–796
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