логическая теория модальностей (модальных операторов), применяемых к высказываниям или предикатам; играет важную роль в логической семантике.
Значение МОДАЛЬНАЯ ЛОГИКА в Современном толковом словаре, БСЭ
Что такое МОДАЛЬНАЯ ЛОГИКА
БСЭ. Современный толковый словарь, БСЭ. 2003