Pre-filtrations, Pre-stable Canonical Rules, and the Kuznetsov-Muravitsky Isomorphism
arXiv:2511.09824
Abstract
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 isomorphism, along with several preservation results. The proofs employ these rules and a duality between modal (Heyting) algebras and their corresponding order-topological spaces.