Марковская И.А. (базовая кафедра вычислительных и информационных технологий) - «Об аксиоматизации некоторых табличных расширений логики Гёделя-Лёба малой размерности».

Аннотация доклада:
Известно, что задача аксиоматизации табличных модальных логик алгоритмически неразрешима. Однако, для каждой такой логики существует конечный набор аксиом. На семинаре будут
представлены полученные результаты построения характеризаций систем для логик GL, фреймы которых не превосходят размерности 3х3.

Основные понятия: логика Гёделя-Лёба, аксиоматизация, фрейм и модель Крипке, означивание