Man talar vanligtvis om åtminstone fyra aletiska modaliteter, nämligen möjlighet, nödvändighet, omöjlighet och tillfällighet (kontingens). Det har framlagts flera konkurrerande filosofiska teorier om innebörden i dessa modala begrepp alltsedan de uppmärksammades av Aristoteles, och gränsdragningen mot andra slag av modaliteter är inte alltid helt klar. Att