Pre-filtrations, Pre-stable Canonical Rules, and the Kuznetsov-Muravitsky Isomorphism
Logic
2025-11-14 v1
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.
Keywords
Cite
@article{arxiv.2511.09824,
title = {Pre-filtrations, Pre-stable Canonical Rules, and the Kuznetsov-Muravitsky Isomorphism},
author = {Nick Bezhanishvili and Antonio Maria Cleani},
journal= {arXiv preprint arXiv:2511.09824},
year = {2025}
}