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, № 1, 2022, 79
LEVIN HORNISCHER, “THE LOGIC OF INFORMATION IN STATE SPACES”, The Review of Symbolic Logic, 14, № 1, 2021, 155
Walter Dean, “Montague’s Paradox, Informal Provability, and Explicit Modal Logic”, Notre Dame J. Formal Logic, 55, № 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, № 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, № 7, 2023, 1566
Frank Wolter, “On Logics with Coimplication”, Journal of Philosophical Logic, 27, № 4, 1998, 353