Luca Ferrari, “Dyck Algebras, Interval Temporal Logic, and Posets of Intervals”, SIAM J. Discrete Math., 30, № 4, 2016, 1918
Chrysafis Hartonas, “Lattice logic as a fragment of (2-sorted) residuated modal logic”, Journal of Applied Non-Classical Logics, 29, № 2, 2019, 152
Alexander Chagrov, Michael Zakharyaschev, “The undecidability of the disjunction property of propositional logics and other related problems”, J. symb. log., 58, № 3, 1993, 967
W. Rautenberg, M. Zakharyaschev, F. Wolter, “Willem Blok and Modal Logic”, Stud Logica, 83, № 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
A. G. Vishneva, S. P. Odintsov, “Modal Companions for the Special Extensions of Nelson’s Constructive Logic”, Math Notes, 117, № 3-4, 2025, 366
A G Vishneva, Sergei Pavlovich Odintsov, “Модальные напарники специальных расширений конструктивной логики Нельсона”, Математические заметки, 117, № 3, 2025, 344