Modale logica's kunnen worden gezien als een uitbreiding van andere
logica's, zoals de
propositielogica of de
predicatenlogica. 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).