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