A Lógica modal dentro da lógica ocupa-se das proposições afetadas por modalidades do tipo possivelmente, necessariamente, de maneira impossível. A lógica modal é intencional, isto é, o valor da verdade de uma proposição complexa afetada por uma modalidade das mencionadas anteriormente não pode-se determinar a partir do valor da verdade de suas proposições elementares. A lógica modal formal representa as modalidades através de operadores modais proposicionais. Os significados dos operadores modais dependem do tipo de lógica modal.

Boa parte das lógicas modais originaram-se em uma lógica "fraca", conhecida como Lógica K, que leva este nome em homenagem a Saul Kripke por sua contribuição.