Graham Priest, “Reflections on Orlov”, History and Philosophy of Logic, 42, № 2, 2021, 118
A. D. Yashin, “Irreflexive Modality in the Intuitionistic Propositional Logic and Novikov Completeness”, Journal of Philosophical Logic, 28, № 2, 1999, 175
Guram Bezhanishvili, Wesley H. Holliday, “A semantic hierarchy for intuitionistic logic”, Indagationes Mathematicae, 30, № 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, № 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, № 1, 2014, 371
Chrysafis Hartonas, “Modal translation of substructural logics”, Journal of Applied Non-Classical Logics, 30, № 1, 2020, 16
Minghui Ma, Juntong Guo, “Merging Intuitionistic and De Morgan Logics”, Mathematics, 12, № 1, 2024, 146
Lev Beklemishev, 15, Larisa Maksimova on Implication, Interpolation, and Definability, 2018, 61