Семантика возможных миров
Модальности необходимости и возможности задаются через множество миров и отношение достижимости. Формула считается истинной, если выполняется в релевантных мирах по правилу системы.
Семантика возможных миров
Рамки Крипке
Рамка Крипке задаёт структуру миров и связи между ними. Свойства связи, такие как рефлексивность и транзитивность, определяют различия между системами T, S4 и S5.
Достижимость и свойства отношений
Семантика возможных миров задаётся отношением достижимости между мирами. Его свойства формируют интерпретацию необходимости и возможности и отличают различные аксиоматические системы.