Модальная логика — логика в которой кроме стандартных логических связок, переменных и/или предикатов есть модальности или модальные операторы. Модальности бывают разные; наиболее распространены топологические во времени («когда-то в будущем», «всегда в прошлом», «всегда» и т. д.) и/или пространстве («здесь», «где-то», «близко» и т. д.).

Предикат - это функция с областью значений {0,1} (или «Истина» и «Ложь»), определенная на n-й декартовой степени множества.