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 [[predikatenlogicapredicatenlogica]]. 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).

==Modale Predikatenlogicapredicatenlogica==

Net zoals men een modale propositielogica '''MpL''' verkrijgt door aan een propositielogica '''pL''' de unaire modale operatoren <math>\Diamond</math> en <math>\Box</math> aan toe te voegen, kan men zo ook van een [[predikatenlogicapredicatenlogica]] '''PL''' een modale predikatenlogicapredicatenlogica '''MPL''' maken. Een voorbeeld van een formule uit '''MPL''' is: <math> \Box \forall (x): K(x) \rightarrow V(x)</math>, dat bijvoorbeeld zou kunnen uitdrukken dat het noodzakelijk is, dat alle kanaries vogels zijn.