Aleetilised modaalsused
Aleetilised modaalsused on paratamatu tõesusega seotud modaalsused. Neid uurib aleetiline modaalloogika, mida sageli nimetatakse lihtsalt modaalloogikaks. Enamasti vaadeldakse järgmisi aleetilisi modaalsusi: paratamatus (miski on paratamatu) võimalikkus (miski on võimalik) võimatus (miski on võimatu) mitteparatamatus (miski on mitteparatamatu) kontingentsus (miski on kontingentne)