Значение МОДАЛЬНАЯ ЛОГИКА в Большом энциклопедическом словаре

Что такое МОДАЛЬНАЯ ЛОГИКА

логическая теория модальностей (модальных операторов), применяемых к высказываниям или предикатам; играет важную роль в логической семантике.

Большой энциклопедический словарь.