Модальная логика

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