Modale logica: verschil tussen versies

==Modale predicatenlogicapredikatenlogica==

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 [[predicatenlogicapredikatenlogica]] '''PL''' een modale predicatenlogica '''MPL'''predikatenlogica maken. Een voorbeeld van een formule uit '''MPL'''deze logica 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.