УДК 510.6
Континуальность решетки расширений модальной логики двух отношений эквивалентности / М. М. Измайлов. // Вестн. Моск. ун-та. Сер. 1, Математика. Механика. 2011. № 4. С. 46-48.
В статье строится континуум различных логик над S5×S5, что доказывает тот факт, что мощность решетки расширений логики двух отношений эквивалентности Ext(S5×S5) является континуумом.
Ключевые слова: модальная логика, соединение логик, расширения логик, логика отношения эквивалентности.
Библиогр. 2.
