Constructive Classifications of Modal Logics and Extensions of Minimal Logic

Research output: Contribution to journalArticlepeer-review

Abstract

Classifications of logics over Johansson’s minimal logic J and modal logics are considered. The paper contains a partial review of the results obtained after 2010. It is known that there is a duality between the lattice of normal logics and the lattice of varieties of modal algebras, as well as between the lattice of varieties of J-algebras and the lattice of J-logics. For a logic L, by V (L) we denote its corresponding variety of algebras.

Original languageEnglish
Pages (from-to)540-545
Number of pages6
JournalAlgebra and Logic
Volume58
Issue number6
DOIs
Publication statusPublished - 1 Jan 2020

Keywords

  • INTERPOLATION
  • SLICES

Fingerprint

Dive into the research topics of 'Constructive Classifications of Modal Logics and Extensions of Minimal Logic'. Together they form a unique fingerprint.

Cite this