Модальная логика

Модальная логика изучает отношения между возможными мирами и предложениями.
Логика S5 является одной из наиболее известных модальных логик.
Фреймы S5 определяют возможные миры и отношения между ними.
Модальные логики могут быть определены аксиоматически.
Топологическая семантика интерпретирует формулы модальной логики с использованием топологических структур.
Аксиоматические системы предлагают различные варианты модальных логик с разными свойствами.
Добавление аксиом к модальным логикам приводит к появлению других хорошо известных систем.
Пересказана только часть статьи. Для продолжения перейдите к чтению оригинала.

Полный текст статьи:

Модальная логика — Википедия