Logique modale, partie de la logique qui étudie les propriétés des propositions modales.
Dans une interface graphique, on nomme fenêtre modale une fenêtre qui prend le contrôle total du clavier et de l'écran. Elle est en général associée à une question à laquelle il est impératif de répondre.