Modal logic is a type of formal logic primarily developed in the 1960s that extends classical propositional and predicate logic to include operators expressing modality. Modals — words that express modalities — qualify a statement. For example, the statement "John is happy" might be qualified by saying that John is usually happy, in which case the term "usually" is functioning as a modal. The traditional alethic modalities, or modalities of truth, include possibility ("Possibly, p", "It is possible that p"), necessity ("Necessarily, p", "It is necessary that p"), and impossibility ("It is impossible that p"). Other modalities that have been formalized in modal logic include temporal modalities, or modalities of time (notably, "It was the case that p", "It has always been that p", "It will be that p", "It will always be that p"), deontic modalities (notably, "It is obligatory that p", and "It is permissible that p"), epistemic modalities, or modalities of knowledge ("It is known that p") and doxastic modalities, or modalities of belief ("It is believed that p").

Die Modallogik ist derjenige Zweig der Logik, der sich mit den Folgerungen um die Modalbegriffe möglich und notwendig befasst. So lassen sich innerhalb der Modallogik nicht nur Aussagen wie „Es regnet“ oder „Alle Kreise sind rund“ analysieren, sondern auch Aussagen wie „Möglicherweise regnet es“ und „Notwendigerweise sind alle Kreise rund“.

La logique modale est une logique à laquelle on a ajouté des modificateurs, qu’on pourrait comprendre en grammaire comme des adverbes.

Modallogik är den gren av logiken där man studerar modaliteterna – alltså möjlighet, omöjlighet, nödvändighet och kontingens. Ibland räknas även de deontiska begreppen in under modallogiken.

Modale logica's kunnen worden gezien als een uitbreiding van andere logica's, zoals de propositielogica of de predikatenlogica. Er worden extra operatoren gebruikt, die modaliteiten uitdrukken. Oorspronkelijk waren dit de modaliteiten het is mogelijk dat en het is noodzakelijk dat, maar later zijn talloze andere modaliteiten voorgesteld, om tijd, geloof, onzekerheid, enzovoorts te kunnen weergeven. Een werk dat aan de basis ligt van de modale logica's, is A Survey of Symbolic Logic van de Amerikaanse filosoof Clarence Irving Lewis (1918).