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

Кафедра алгебры и математической логики ММФ

Результат исследования: Научные публикации в периодических изданиях › статья

Аннотация

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.

Язык оригинала	английский
Страницы (с-по)	540-545
Число страниц	6
Журнал	Algebra and Logic
Том	58
Номер выпуска	6
DOI	https://doi.org/10.1007/s10469-020-09572-1
Состояние	Опубликовано - 1 янв 2020

Доступ к документу

10.1007/s10469-020-09572-1

Link to publication in Scopus

Fingerprint Подробные сведения о темах исследования «Constructive Classifications of Modal Logics and Extensions of Minimal Logic». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать

Maksimova, L. L. (2020). Constructive Classifications of Modal Logics and Extensions of Minimal Logic. Algebra and Logic, 58(6), 540-545. https://doi.org/10.1007/s10469-020-09572-1

@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 -