The contribution of A.V. Kuznetsov to the theory of modal systems and structures
Alexei Yu. Muravitsky · Logic and Logical Philosophy · 2008
We will outline the contributions of A.V. Kuznetsov to modal logic. In his research he focused mainly on semantic, i.e. algebraic, issues and lattices of extensions of particular modal logics, though his proof of the Full Conservativeness Theorem for the proof-intuitionistic logic KM (Theorem 17 below) is a gem of proof-theoretic art.