С.О. Сперанский, "Введение в модальную логику"

Лекция 15

Europe/Moscow
Description

Последняя лекция будет посвящена алгебраической семантике нормальных модальных логик. Вначале мы познакомимся с понятием модальной алгебры и покажем, что истинность в модальных алгебрах обобщает истинность в шкалах. С другой стороны, будет показано, что всякая конечная модальная алгебра может быть стандартным образом получена из некоторой конечной шкалы. Далее, мы определим так называемые «алгебры Линденбаума–Тарского» для нормальных модальных логик. С помощью этих специальных алгебр можно установить дуальный изоморфизм между решёткой всех нормальных модальных логик и решёткой всех многообразий модальных алгебр. В заключение мы поговорим о том, как связаны различные полезные свойства логик с алгебраическими свойствами соответствующих им многообразий.