En er en logikk for å behandle : konsepter som , og . Logikker for å behandle en rekke andre ideer, som , , , , , og , blir også kalt modale logikker, siden de kan behandles på lignende måter.