4 papers · 1 filter
Esakia order-compactifications and locally Esakia spaces
Rodrigo Nicolau Almeida, Guram Bezhanishvili, Nick Bezhanishvili
We introduce Esakia order-compactifications and study how they fit in the general theory of Priestley order-compactifications. We provide an analog of Dwinger's theorem by characte…
Six Proofs of Interpolation for the Modal Logic K
Nick Bezhanishvili, Balder ten Cate, Rosalie Iemhoff
In this chapter, we present six different proofs of Craig interpolation for the modal logic K, each using a different set of techniques (model-theoretic, proof-theoretic, syntactic…
Pre-filtrations, Pre-stable Canonical Rules, and the Kuznetsov-Muravitsky Isomorphism
Nick Bezhanishvili, Antonio Maria Cleani
We introduce pre-filtration and pre-stable canonical rules for the Kuznetsov-Muravitsky system of intuitionistic modal logic and provide a new proof of the Kuznetsov-Muravitsky iso…
Structural Completeness in bi-IPC
Rodrigo Nicolau Almeida, Nick Bezhanishvili
In this note we show that no extension of bi-intuitionistic logic, except for classical logic, is structurally complete; indeed, none of them are passively structurally complete. A…