The contribution of A.V. Kuznetsov to the theory of modal systems and structures

Logic and Logical Philosophy 17 (1-2):41-58 (2008)

Abstract
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
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 44,504
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.

Analytics

Added to PP index
2013-11-24

Total views
35 ( #247,859 of 2,273,323 )

Recent downloads (6 months)
4 ( #320,037 of 2,273,323 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature