Модальная логика - это раздел современной логики, где изучаются модальные выражения и их отношения в структуре рассуждений. В зависимости от того, какие виды модальных высказываний исследуются, выделяют различные виды модальных логик. Наиболее распространены временные («когда в будущем», «всегда в прошлом», «всегда» и др.). И пространственные («здесь», «где», «около» и др.).. Например, модальная логика способна оперировать утверждениями типа «Москва всегда был столицей России » или «Харьков некогда в прошлом был столицей Украины», которые невозможно или крайне сложно выразить в немодальном языке. Кроме временных и пространственных модальностей есть и другие, например «известно, что» (логика знания) или «можно доказать, что»
Обычно для обозначения модального оператора используется 
и двойной к нему 
:
Это отражает то, что сказать «Москва некогда была столицей России» то же самое, что сказать «не верно, что Москва никогда не была столицей России».
Модальности
Алетични модальные понятия:
- Логические
- L - необходимо
- M - возможно
- С - случайно
- Фактические
- - Необходимо
- Возможно
- Случайно
