Модальная логика
Расширение классической логики операторами «необходимо» и «возможно». Изучает модальности: алетическую, деонтическую, эпистемическую. Применяется в философии и AI.
Модальная логика
Семантика возможных миров
Модальности необходимости и возможности задаются через множество миров и отношение достижимости. Формула считается истинной, если выполняется в релевантных мирах по правилу системы.
Системы T, S4 и S5
Классические модальные системы различаются свойствами отношения достижимости между возможными мирами. Эти различия определяют, какие формулы необходимости и возможности считаются корректными.
Прикладные направления модальной логики
Модальная логика используется в эпистемических моделях знания, деонтическом анализе норм и темпоральном описании процессов. Это позволяет формализовать рассуждения, где важен контекст модальности.