Sergei Artemov, 5, Mathematical Problems from Applied Logic II, 2007, 1
Agata Ciabattoni, Tim S. Lyon, Revantha Ramanayake, Alwen Tiu, “Display to Labeled Proofs and Back Again for Tense Logics”, ACM Trans. Comput. Logic, 22, no. 3, 2021, 1
David Pearce, The History and Philosophy of Polish Logic, 2014, 73
M. Zakharyaschev, F. Wolter, A. Chagrov, Handbook of Philosophical Logic, 2001, 83
Chrysafis Hartonas, “Choice-free topological duality for implicative lattices and Heyting algebras”, Algebra Univers., 85, no. 1, 2024, 3
Junhua Yu, 7734, Logical Foundations of Computer Science, 2013, 401
Stefania Centrone, Pierluigi Minari, 444, Oskar Becker, On the Logic of Modalities (1930): Translation, Commentary and Analysis, 2022, 1
Alexander Chagrov, Michael Zakharyashchev, “The disjunction property of intermediate propositional logics”, Stud Logica, 50, no. 2, 1991, 189
F. Wolter, M. Zakharyaschev, “The relation between intuitionistic and classical modal logics”, Algebr Logic, 36, no. 2, 1997, 73
A. D. Yashin, “On an extension of Gabbay’s logic”, Sib Math J, 39, no. 1, 1998, 198