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