Modalidade refere-se aos modos, especialmente possibilidade, impossibilidade, probabilidade e necessidade, sendo a lógica modal desenvolvida prioritariamente para lidar com estes conceitos.

Leia também: Introdução à Lógica Modal

Desenvolvida na década de 1960, a lógica modal expandiu a lógica clássica, proposicional e de predicados, incluindo operadores que expressam a modalidade. Desta forma expandindo também as possibilidades de uso da lógica para a análise e solução de problemas em filosofia da linguagem e da ciência.

Formalmente, a modalidade é expressa utilizando os chamados operadores modais. Por exemplo, a afirmação "Paulo está triste" pode ser qualificada como "Paulo é usualmente triste", o termo "usualmente" neste caso é um modo, expressa a modalidade. Para utilizar um operador modal clássico, temos o exemplo: "pode fazer Sol hoje" e "talvez faça Sol hoje", ambas as frases expressam possibilidade. Temos, neste caso, o operador modal "possível" associado a frase "fará Sol hoje".

Embora tenha se desenvolvido na década de 1960, a história da lógica modal começa em 1906, com a publicação da obra Symbolic Logic and its Applications, de Hugh MacColl. MacColl lançou as bases do que viria a ser a lógica modal e foi sucedido neste trabalho por Clarence Irving Lewis que em 1918 publicou sua obra A Survey of Symbolic Logic, baseada em seus estudos sobre a obra Principia Mathematica de Bertrand Russell, particularmente na sua decisão de excluir a implicação material, um recurso que permitia que um consequente verdadeiro se seguisse de um antecedente falso. Lewis substituiu a implicação material por uma implicação restrita, evitando que antecedentes falsos pudessem implicar consequentes verdadeiros em seu modelo de lógica. Para tanto, além da negação e da conjunção Lewis utilizou-se de um operador modal intencional unário que indicava possibilidade, cuja notação é um losango. A proposta de Lewis hoje é recusada, tendo-se o operador de necessidade, cuja notação é um quadrado, como primitivo e o de possibilidade como derivado.

Ao longo do século XX vários modelos foram propostos até o estabelecimento da lógica modal, sendo os principais: Sistema T, proposto por Robert Feyes, Sistema M, proposto por Georg Henrik von Wright. O sistema M foi posteriormente utilizado por C. I. Lewis como complemento em seus sistema S1, S2, S3, S4 e S5, criados na obra de 1932 e desenvolvidos na década de 1950, cujos estudos levaram a novos desenvolvimentos e, em ultima análise, ao estabelecimento do Sistema Modal Normal Mínimo K, desenvolvido pelo renomado filósofo Saul Kripke. O sistema proposto por Kripke, baseado em sua semântica de mundos possíveis, ou semântica Kripke, tornou-se o padrão em lógica modal, inaugurando a era atual da lógica.

O filósofo Arthur Norman Prior, que correspondeu-se com Kripke durante o desenvolvimento do Sistema K, procedeu a criação da lógica temporal, utilizando os operadores modais [F] para "futuramente" e [P] para "previamente". Desenvolvimentos posteriores em lógica temporal incluem diversos ramos aplicados, entre eles: Lógica Hennessy-Milner; Lógica Temporal Linear; Lógica Temporal Proposicional Linear; Lógica Dinâmica proposicional; e Lógica de Árvore de Computação.