Modale logica: verschil tussen versies

'''Modale logica's''' kunnen worden gezien als een uitbreiding van andere [[logica (wetenschap)|logica]]'s, zoals de [[propositielogica]] of de [[predicatenlogica]]. Er worden extra [[operator]]en 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 Lewis|Clarence Irving Lewis]] (1918).