- 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, № 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, № 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, № 2, 1991, 189
- F. Wolter, M. Zakharyaschev, “The relation between intuitionistic and classical modal logics”, Algebr Logic, 36, № 2, 1997, 73
- A. D. Yashin, “On an extension of Gabbay’s logic”, Sib Math J, 39, № 1, 1998, 198