Мода́льная ло́гика, раздел логики, в котором наряду с обычными высказываниями рассматриваются модальные высказывания, т. е. высказывания типа «необходимо, что», «возможно, что» и т. п. В математической логике рассматриваются различные формальные системы модальной логики, выявляется взаимосвязь между этими системами, изучаются их интерпретации. Большое разнообразие систем модальной логики объясняется тем, что понятия «возможно» и «необходимо» можно уточнять различными способами и, кроме того, по-разному трактовать сложные модальности типа «необходимо возможно» и взаимоотношения модальностей с логическими связками.
Аннотация