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