логика модальностей

Мат. logic of modalities