Арсений Аристархов // Эпистемическая логика SSL и топология ()

Аннотация: 1.Краткое описание топологической семамантики модальной логики S4, теорема 2.Тарского-МакКинзи. 3.Бимодальный язык и его топологическая семантика 4.Примеры моделей 5.Связь одномодальной и двумодальной логик. 6.Аксиомы SSL 7.Аксиомы различных пространств. 8.Примеры.