Семантические различия между T, S4 и S5

Различия между системами определяются ограничениями на отношение достижимости: рефлексивность, транзитивность и симметрия. Эти свойства напрямую влияют на допустимые модальные выводы.