Системы T, S4 и S5

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