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