Словарь по логике

Модальная теория: Теория в языке с модальными операторами.