Краткие сообщения

Континуальность решетки расширений модальной логики двух отношений эквивалентности

М. М. Измайлов

Московский государственный университет имени М. В. Ломоносова, механико-математический факультет

Аннотация: В статье строится континуум различных логик над $S5\otimes S5$, что доказывает тот факт, что мощность решетки расширений логики двух отношений эквивалентности $\operatorname{Ext}(S5\otimes S5)$ является континуумом.

Ключевые слова: модальная логика, соединение логик, расширения логик, логика отношения эквивалентности.

УДК: 510.6

Поступила в редакцию: 05.04.2010

Реферативные базы данных:

• 
•