Достижимость и свойства отношений

Семантика возможных миров задаётся отношением достижимости между мирами. Его свойства формируют интерпретацию необходимости и возможности и отличают различные аксиоматические системы.