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

Цитировать

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