Рамки Крипке

Рамка Крипке задаёт структуру миров и связи между ними. Свойства связи, такие как рефлексивность и транзитивность, определяют различия между системами T, S4 и S5.