- Frank Wolter, Michael Zakharyaschev, 4, Leo Esakia on Duality in Modal and Intuitionistic Logics, 2014, 99
- Agata Ciabattoni, Tim Lyon, Revantha Ramanayake, 10703, Logical Foundations of Computer Science, 2018, 120
- Tomáš Lávička, Tommaso Moraschini, James G. Raftery, “The algebraic significance of weak excluded middle laws”, Mathematical Logic Qtrly, 68, no. 1, 2022, 79
- LEVIN HORNISCHER, “THE LOGIC OF INFORMATION IN STATE SPACES”, The Review of Symbolic Logic, 14, no. 1, 2021, 155
- Walter Dean, “Montague’s Paradox, Informal Provability, and Explicit Modal Logic”, Notre Dame J. Formal Logic, 55, no. 2, 2014
- Minghui Ma, Zhiguang Zhao, “Unified correspondence and proof theory for strict implication”, J Logic Computation, 2016, exw012
- Vít Punčochář, “A Generalization of Inquisitive Semantics”, J Philos Logic, 45, no. 4, 2016, 399
- Michael Zakharyaschev, 7, Advances in Intensional Logic, 1997, 195
- Mikhail Rybakov, Dmitry Shkatov, “Complexity function and complexity of validity of modal and superintuitionistic propositional logics”, Journal of Logic and Computation, 33, no. 7, 2023, 1566
- Frank Wolter, “On Logics with Coimplication”, Journal of Philosophical Logic, 27, no. 4, 1998, 353