Constructive Classifications of Modal Logics and Extensions of Minimal Logic

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

Аннотация

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
СостояниеОпубликовано - 1 янв 2020

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

  • Цитировать