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…