modale logica

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).