Vladimir A. Uspensky, Logic and Scientific Methods, 1997, 457
Alexander V. Chagrov, Valentin B. Shehtman, 933, Computer Science Logic, 1995, 442
Ian Hodkinson, Yde Venema, “Canonical varieties with no canonical axiomatisation”, Trans. Amer. Math. Soc., 357, № 11, 2004, 4579
Michael Zakharyaschev, “A New Solution to a Problem of Hosoi and Ono”, Notre Dame J. Formal Logic, 35, № 3, 1994
Agi Kurucz, “Bimodal Logics with a “Weakly Connected” Component without the Finite Model Property”, Notre Dame J. Formal Logic, 58, № 2, 2017
A. D. Yashin, 1258, Computer Science Logic, 1997, 460
151, Residuated Lattices: An Algebraic Glimpse at Substructural Logics, 2007, 479
Alex Citkin, 15, Larisa Maksimova on Implication, Interpolation, and Definability, 2018, 99
Larisa Maksimova, “On variable separation in modal and superintuitionistic logics”, Stud Logica, 55, № 1, 1995, 99
Frank Wolter, Michael Zakharyaschev, 3, Handbook of Modal Logic, 2007, 427