Что представляет собой модальная логика?

Модальная логика (от лат. modus — способ, мера) — раздел неклассической логики, в котором исследуются логические связи модальных высказываний, то есть высказываний, включающих модальности. azbyka.ru

Задача модальной логики — анализ рассуждений, в которых встречаются модальные понятия, служащие для конкретизации устанавливаемых связей и их оценки с той или иной точки зрения. kartaslov.ru

Некоторые направления модальной логики:

• Теория логических модальностей. azbyka.ru Изучает логическое поведение высказываний, включающих модальные понятия «логически необходимо», «логически возможно», «логически случайно». azbyka.ru
• Эпистемическая логика. azbyka.ru Исследует высказывания, содержащие теоретико-познавательные понятия: «верифицируемо», «непроверяемо», «фальсифицируемо», «полагает», «сомневается», «отвергает» и т. п.. azbyka.ru
• Деонтическая логика. azbyka.ru Изучает логические связи нормативных высказываний. azbyka.ru
• Логика оценок. azbyka.ru Занимается аксиологическими модальностями. azbyka.ru
• Логика времени. azbyka.ru Исследует временные модальности и т. д.. azbyka.ru

Модальная логика применима в информатике, философии, эпистемологии, метафизике и других областях. ru.ruwiki.ru ru.wikipedia.org