- Luca Ferrari, “Dyck Algebras, Interval Temporal Logic, and Posets of Intervals”, SIAM J. Discrete Math., 30, no. 4, 2016, 1918
- Chrysafis Hartonas, “Lattice logic as a fragment of (2-sorted) residuated modal logic”, Journal of Applied Non-Classical Logics, 29, no. 2, 2019, 152
- Alexander Chagrov, Michael Zakharyaschev, “The undecidability of the disjunction property of propositional logics and other related problems”, J. symb. log., 58, no. 3, 1993, 967
- W. Rautenberg, M. Zakharyaschev, F. Wolter, “Willem Blok and Modal Logic”, Stud Logica, 83, no. 1-3, 2006, 15
- David Pearce, 13, What is Negation?, 1999, 161
- Rodrigo Nicolau Almeida, “Polyatomic logics and generalized Blok–Esakia theory”, Journal of Logic and Computation, 2023, exad043
- Sergei Artemov, 3, Handbook of Modal Logic, 2007, 927