Семантика возможных миров

Модальности необходимости и возможности задаются через множество миров и отношение достижимости. Формула считается истинной, если выполняется в релевантных мирах по правилу системы.