|
СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ
АННОТАЦИИ
Максимова Л. Л. Классификация расширений модальной логики S4 //
Том 54 (2013), Номер 6,
стр. 13371352
Вводится естественная классификация нормальных расширений модальной логики S4 в соответствии с объемами кластеров в шкалах Крипке, доказана разрешимость классификации. Выделены основные логики в этой классификации и установлены их важные свойства: конечная аксиоматизируемость, финитная аппроксимируемость и узнаваемость.
|
|
© Сибирский Математический Журнал, 2003-2006
|
|