1 citations · 1 across the 2 of their papers we have counts for
2 papers
math.LO2025
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…
math.LO2022★ 1 cited
Blok-Esakia Theorems via Stable Canonical Rules
Nick Bezhanishvili, Antonio Maria Cleani
We present a new uniform method for studying modal companions of superintuitionistic rule systems and related notions, based on the machinery of stable canonical rules. Using this…