Constructive Classifications of Modal Logics and Extensions of Minimal Logic

L. L. Maksimova

doi:10.1007/s10469-020-09572-1

Constructive Classifications of Modal Logics and Extensions of Minimal Logic

L. L. Maksimova

Section of Algebra and Mathematical Logic

Research output: Contribution to journal › Article › peer-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 language	English
Pages (from-to)	540-545
Number of pages	6
Journal	Algebra and Logic
Volume	58
Issue number	6
DOIs	https://doi.org/10.1007/s10469-020-09572-1
Publication status	Published - 1 Jan 2020

Keywords

INTERPOLATION
SLICES

Access to Document

10.1007/s10469-020-09572-1

Link to publication in Scopus

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

@article{8b5aeb03f6af4ad2b2d1406f9c9bba91,

title = "Constructive Classifications of Modal Logics and Extensions of Minimal Logic",

abstract = "Classifications of logics over Johansson{\textquoteright}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.",

keywords = "INTERPOLATION, SLICES",

author = "Maksimova, {L. L.}",

year = "2020",

month = jan,

day = "1",

doi = "10.1007/s10469-020-09572-1",

language = "English",

volume = "58",

pages = "540--545",

journal = "Algebra and Logic",

issn = "0002-5232",

publisher = "Springer US",

number = "6",

}

TY - JOUR

T1 - Constructive Classifications of Modal Logics and Extensions of Minimal Logic

AU - Maksimova, L. L.

PY - 2020/1/1

Y1 - 2020/1/1

N2 - 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.

AB - 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.

KW - INTERPOLATION

KW - SLICES

UR - http://www.scopus.com/inward/record.url?scp=85081592260&partnerID=8YFLogxK

U2 - 10.1007/s10469-020-09572-1

DO - 10.1007/s10469-020-09572-1

M3 - Article

AN - SCOPUS:85081592260

VL - 58

SP - 540

EP - 545

JO - Algebra and Logic

JF - Algebra and Logic

SN - 0002-5232

IS - 6

ER -