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