Frank Wolter, Michael Zakharyaschev, “Undecidability of the unification and admissibility problems for modal and description logics”, ACM Trans. Comput. Logic, 9, № 4, 2008, 1
Guram Bezhanishvili, David Gabelaia, “Connected modal logics”, Arch. Math. Logic, 50, № 3-4, 2011, 287
Renate A. Schmidt, Dmitry Tishkovsky, Ullrich Hustadt, “Interactions between Knowledge, Action and Commitment within Agent Dynamic Logic”, Stud Logica, 78, № 3, 2004, 381
Szymon Klarman, Víctor Gutiérrez-Basulto, “Description logics of context”, J Logic Computation, 26, № 3, 2016, 817
GURAM BEZHANISHVILI, DAVID GABELAIA, JOEL LUCERO-BRYAN, “TOPOLOGICAL COMPLETENESS OF LOGICS ABOVE S4”, J. symb. log., 80, № 2, 2015, 520
Balder ten Cate, Gaëlle Fontaine, Tadeusz Litak, “Some modal aspects of XPath”, Journal of Applied Non-Classical Logics, 20, № 3, 2010, 139
A. D. Yashin, “Irreflexive modality as a new logical connective in the Dummett logic”, Sib Math J, 55, № 1, 2014, 185
A. K. Koshcheeva, “A New Constant in Superintuitionistic Logic L3”, Algebra Logic, 54, № 1, 2015, 23
Zofia Kostrzycka, “Projective unification in weakly transitive and weakly symmetric modal logics”, Journal of Logic and Computation, 32, № 5, 2022, 996
W. Rautenberg, M. Zakharyaschev, F. Wolter, “Willem Blok and Modal Logic”, Stud Logica, 83, № 1-3, 2006, 15