Description

• Title:
  The contribution of A.V. Kuznetsov to the theory of modal systems and structures
• Creator:
  Muravitsky, Alexei Y.
• Description:
  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.
• Object availability:
  free access
• Rights:
  Prawa autorskie (c) 2017 Logic and Logical Philosophy
• Date:
  2008.06.19
• Type:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Language:
  English
• Source:
  Logic and Logical Philosophy; Vol. 17 No. 1-2 (2008); 41-58;
  Logic and Logical Philosophy; Tom 17 Nr 1-2 (2008); 41-58;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Publisher:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relation: https://apcz.umk.pl/LLP/article/view/LLP.2008.004/1300
• Subject:
  intuitionistic propositional logic and its extensions;
  modal logic S4 and its extensions;
  algebraic semantics for modal logics (S4;
  Grz;
  GL;
  KM-algebras);
  lattice of the extensions of a logic
• Identifier: https://apcz.umk.pl/LLP/article/view/LLP.2008.004
• Data provider:
  Akademicka Platforma Czasopism
• Can I use it?:
  seek permission
• Type:
  text