Logic and Logical Philosophy 17 (1-2):41-58 (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
Keywords algebraic semantics for modal logics (S4-, Grz-, GL-, KM-algebras)  intuitionistic propositional logic and its extensions  lattice of the extensions of a logic  modal logic S4 and its extensions
Categories (categorize this paper)
DOI 10.12775/LLP.2008.004
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 54,431
Through your library

References found in this work BETA

A Propositional Calculus with Denumerable Matrix.Michael Dummett - 1959 - Journal of Symbolic Logic 24 (2):97-106.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

The Lattice of Modal Logics: An Algebraic Investigation.W. J. Blok - 1980 - Journal of Symbolic Logic 45 (2):221-236.
On Logics with Coimplication.Frank Wolter - 1998 - Journal of Philosophical Logic 27 (4):353-387.
Kripke Completeness of Infinitary Predicate Multimodal Logics.Yoshihito Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (3):326-340.
Modal Translations in Substructural Logics.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (3):283 - 336.


Added to PP index

Total views
40 ( #246,399 of 2,371,804 )

Recent downloads (6 months)
1 ( #557,530 of 2,371,804 )

How can I increase my downloads?


My notes