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

Аннотация: 1.Краткое описание топологической семамантики модальной логики S4, теорема 2.Тарского-МакКинзи. 3.Бимодальный язык и его топологическая...
Back to Top