- Graham Priest, “Reflections on Orlov”, History and Philosophy of Logic, 42, no. 2, 2021, 118
- A. D. Yashin, “Irreflexive Modality in the Intuitionistic Propositional Logic and Novikov Completeness”, Journal of Philosophical Logic, 28, no. 2, 1999, 175
- Guram Bezhanishvili, Wesley H. Holliday, “A semantic hierarchy for intuitionistic logic”, Indagationes Mathematicae, 30, no. 3, 2019, 403
- Wesley Fussner, William Zuluaga Botero, 13027, Relational and Algebraic Methods in Computer Science, 2021, 176
- Frank Wolter, “The structure of lattices of subframe logics”, Annals of Pure and Applied Logic, 86, no. 1, 1997, 47
- Stefania Centrone, Pierluigi Minari, 54, Thinking and Calculating, 2022, 355
- Junhua Yu, “Self-referentiality of Brouwer–Heyting–Kolmogorov semantics”, Annals of Pure and Applied Logic, 165, no. 1, 2014, 371
- Chrysafis Hartonas, “Modal translation of substructural logics”, Journal of Applied Non-Classical Logics, 30, no. 1, 2020, 16
- Minghui Ma, Juntong Guo, “Merging Intuitionistic and De Morgan Logics”, Mathematics, 12, no. 1, 2024, 146
- Lev Beklemishev, 15, Larisa Maksimova on Implication, Interpolation, and Definability, 2018, 61