Мода́льная ло́гика (от лат. modus — способ, мера) — логика, в которой кроме стандартных логических связок, переменных и предикатов есть модальности (модальные операторы, другие названия: модальные понятия, модальные отношения, модальные характеристики, оценки).
 
Логическая теория является модальной, если
 Модальные операторы используются для оценки истинности суждения (развёрнуто: для оценки истинности суждений об истинности какой-то ситуации или суждения). Можно сказать, что модальная логика — это изучение дедуктивного поведения выражений «необходимо, что», «возможно, что» и подобных (в узком смысле её и называют «логикой необходимости и возможности»). Однако, термин «модальная логика» относится также и к другим оперирующим похожими понятиями системам (см. ниже разновидности модальностей). Модальные логики применимы в информатике и особенно — в философии, где суждения с модальностями применяются широко и вместе с тем запутанно.
 Перечисленные выше требования считаются необходимыми для любой модальной логики и первое из них соответствует самому определению таковой, а остальные предотвращают вырождение модальной логики в обычную логику высказываний (в которой нет квалификаций посредством модальных операторов). Однако, одна из простейших модальных логик — логика Крипке, предложенная Солом Крипке, называемая в его честь «логика К» — содержит только два модальных оператора (из обязательных только «необходимо», а второй — необязательный «возможно») и не является достаточно сильной для адекватного учёта оператора «необходимо».
 Модальные логики применяются в философии языка, эпистемологии, метафизике и формальной семантике. При этом математический аппарат модальной логики оказался полезным во многих других областях, включая теорию игр, верификацию программ, веб-дизайн, теорию множеств и социальную эпистемологию
 Классическая логика - будь то классическая логика высказываний, классическая логика предикатов, классическая силлогистика или аристотелевская силлогистика - основаны на нескольких начальных предпосылках:
 Все неклассические логики основываются на отказе от каких-то из перечисленных предпосылок классической логики - по причине того, что такой набор предпосылок делает невозможным рассмотрение истинности многих суждений, и не подходит для некоторых задач. 
 Модальные логики являются разновидностями так называемых "интенсиональных" логик - то есть логик, которые отказываются от приницпа экстенциональности, и рассматривают некие аспекты внутреннего содержания высказываний и контекст, в котором эти высказывания встречаются. В рамках таких логик исследются и формализуются логические связки, не являющиеся знаками функции истинности (в модальных логиках такими связками являются модальности, то есть они исследуют модальные контексты языка; в других вариантах интенсиональных логик встречаются также и другие связки; например, другим классом интенсиональных логик являются релевантные логики; ещё один пример - "свободные логики", отказывающиеся от принципа экзистенциальности).
 
Кроме этих предпосылок о функции истинности, природе истинности и непустоте терминов, есть также ряд свойств классического логического вывода (отношения следования, выводимости и импликации - ниже все они обозначаются символом импликации "⊃", логическая двуместная константа "если, то"):
 
Некоторые неклассические логики включают в себя изменения каких-то из этих свойств вывода (то есть импликации), например, немонотонные логики отказываются от свойства монотонности.
Модальные логики по умолчанию сохраняют указанные выше свойства классической импликацию. Обратим внимание, что знаки модальностей не являются предметными переменными или константами, они подобны знакам логических связок, кванторов или предиктов - поэтому знаки модальностей в общем случае нельзя переставлять местами, это влияет на корректность вывода. Однако, добавляет дополнительные требования к определению импликации.
 
Классическое определение вывода (импликации) может формулироваться так:
 Однако, так как в модальной логике в посылках и выводах фигурируют модальности - которые не истинны и не ложны - классическое определение импликации становится проблематично к ним применять.
 
В минимальной модальной логике М1 такими дополнительными требованиями к свойствам импликации являются аксиомы, формальизующим описанные выше требования к логике, необходимые для того, чтобы такая логика считалась модальной:
 Здесь "v" - означает логическое "или", а V, W, Y - символы модальностей (см. ниже раздел "модальности")
 
В минимальной модальной логике К такими дополнительными требованиями являются следующие:
 
В системе М (или Т) добавляется ещё одна аксиома, так как логика К, кажется, не вполне удовлетворительно характеризует модальность "необходимо, что"; данная аксиома недоказуема в К:
 Полученная система считается многими логиками всё ещё слишком слабой для адекватного учёта модальности "необходимо, что" - в системе S4 к аксиомам М добавляют аксиому 
 А в системе S5 к этому добавляют ещё аксиому 
 Наконец, в системе В добавляют ещё аксиому:
 
 Модальности бывают разных типов. Модальность — это оценка, квалификация, которая фиксирует характер утверждения. Высказывания, фиксирующие только сам факт наличия или отсутствия какой-то ситуации называются ассерторическими. Высказывания, которые характеризуют кроме этого характер такого утверждения — то есть содержат модальности — называются модальными.
Модальности располагают в ряд по силе: самая сильная модальность — необходимо; более слабая модальность — это отсутствие модальности, то есть модальность ассерторического высказывания; самая слабая модальность — модальность возможности. Модальность «Невозможно Б» определяется как «Необходимо, что неверно Б» (важно, что хотя в разговорном русском языке её название выглядит похоже на отрицание возможности, в определении не фигурирует отрицание возможности — модальная логика вообще не требует задания модальности «возможно»).
 При таком способе задания, модальные операторы играют роль трёх-четырёхзначных функций оценки истинности или детерминированности. Альтернативно, в семантике Крипке, модальная логика может быть задана через 2 модальных оператора, которые играют роль аналогичную дополнительным кванторам («необходимо» подобно квантору «любой», а «возможно» подобно квантору «существует»).
Далее следует перечисление модальностей в порядке соответствия силы модальности (в качестве базового списка можно рассматривать логические алетические модальности; первые три модальности в каждом пункте задаются обязательно, модальность «возможно» не всегда возможно задать, она не всегда задаётся и, в отличие от первых трёх модальностей, её нет в списке обязательных модальностей для того, чтобы логика считалась логикой модальностей и функционировала как таковая)
 Алетические модальности оценивают истинность утверждений об истинности ситуаций с позиции либо законов логики (логические алетические модальности), либо известных фактов и законов природы (онтологические алетические модальности). Иначе можно сказать, что они оценивают, насколько описываемая ситуация детерминирована некоторым множеством законов и фактов. Например, утверждение «необходимо, что всякое животное смертно» является истинным, если интерпретировать «необходимо» как онтологическую модальность (так как накопленные научные факты указывают на это) — но оно же является ложным, если интерпретировать «необходимо» как логическую модальность (так как выражает высказывание «для всякого х верно, что если х имеет свойство А, то х имеет свойство Б», не имеющее форму общезначимого высказывания).
Другой пример — высказывание «возможно, что существует вечный двигатель». Если модальность интерпретировать как логическую, то высказывание истинно (так как выражает лишь, что существует х, обладающий каким-то свойством); но если модальность интерпретировать как онтологическую, то высказывание ложно (так как противоречит известным законам физики и фактам, на основании которых те установлены).
 Разница между оценками знаний и убеждений в данном случае заключается в том, что утверждение «А полагает, что Б» фиксирует лишь мнение А — в то время, как утверждение «А знает, что Б» фиксирует следующую ситуацию: «А полагает, что Б и Б имеет место в действительности».
 Аксиологическую логику разработал философ А. А. Ивин.
 Кроме этого могут быть введены и другие модальности: «всегда будет» (ситуация будет иметь место в каждый момент будущего), «было» (ситуация имела место когда-то в прошлом) и пр.
Например, можно задать:
 Кроме этого, модальности делятся по нескольким другим признакам.
 По количеству местности модальности (так же, как говорят о местности пропозициональных связок)
 По тому, оценивается ли ситуация с позиции определённого субъекта
 По тому, какую часть высказывания характеризует модальный оператор
 Например, модус силлогистики (Barbara)
 Является верным, если рассматривать его как содержащий внутреннюю модальность «логически необходимо» — но он же является логически ложным, если его рассматривать как содержащий внешнюю модальность «логически необходимо».
Верное утверждение:
 Ложное утверждение:
 Существует два правила, которые необходимо добавить к силлогистике для проверки силлогизмов с модальностью de dicto:
 Аподиктическая — «о необходимо присущем» или «о необходимо не присущем»; проблематическая — «о возможно присущем» или «о возможно не присущем».
 Оперирует понятиями «знает», «полагает».
 Оперирует понятиями: обязательство, разрешение, норма.[источник не указан 1376 дней]
 «Ты обязан это сделать» («Твой долг это сделать») либо «Ты можешь это сделать»[источник не указан 1376 дней]
 Эти понятия пытались внедрить достаточно давно, но значительный результат был только у Георга фон Вригта в Deontic Logic, Mind, New Series, Vol. 60, No. 237. (Jan., 1951), pp. 1-15.
 Статья 2007 года о реализации деонтической логики. A Formal Language for Electronic Contracts использующий µ-calculus и реализацию mu-cke от A. Biere
 В математической логике и информатике наиболее распространённой является семантика Крипке, также существуют алгебраическая семантика, топологическая семантика и ряд других.[источник не указан 1376 дней]
 Модальная формула определяется рекурсивно как слово в алфавите состоящем из счетного множества пропозициональных переменных 
  
    
      
        P
        L
      
    
    {\displaystyle PL}
  
, классических связок 
  
    
      
        →
        ,
        ⊥
      
    
    {\displaystyle \to ,\bot }
  
, скобок 
  
    
      
        (
      
    
    {\displaystyle (}
  
, 
  
    
      
        )
      
    
    {\displaystyle )}
  
 и модального оператора 
  
    
      
        ◻
      
    
    {\displaystyle \Box }
  
. А именно, формулой является[источник не указан 1376 дней]
 Нормальной модальной логикой называется множество модальных формул, содержащее все классические тавтологии, аксиому нормальности[источник не указан 1376 дней]
 и замкнутое относительно правил Modus ponens 
  
    
      
        
          
            
              A
              ,
              A
              →
              B
            
            B
          
        
      
    
    {\displaystyle {\frac {A,A\to B}{B}}}
  
, подстановки 
  
    
      
        
          
            
              A
              (
              p
              )
            
            
              A
              (
              B
              )
            
          
        
      
    
    {\displaystyle {\frac {A(p)}{A(B)}}}
  
 и введение модальности 
  
    
      
        
          
            A
            
              ◻
              A
            
          
        
      
    
    {\displaystyle {\frac {A}{\Box A}}}
  
.
 Минимальная нормальная модальная логика обозначается 
  
    
      
        K
      
    
    {\displaystyle K}
  
.