- 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, no. 11, 2004, 4579
- Michael Zakharyaschev, “A New Solution to a Problem of Hosoi and Ono”, Notre Dame J. Formal Logic, 35, no. 3, 1994
- Agi Kurucz, “Bimodal Logics with a “Weakly Connected” Component without the Finite Model Property”, Notre Dame J. Formal Logic, 58, no. 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, no. 1, 1995, 99
- Frank Wolter, Michael Zakharyaschev, 3, Handbook of Modal Logic, 2007, 427