En modallogik er enhver
logik, der håndterer modaliteter: begreber så som mulighed, umulighed og nødvendighed. Logikker til håndtering af en række andre ideer, så som "senere", "tidligere", "kan", "kunne", "må" kaldes herefter også modallogik, da det viser sig, at de kan behandles på lignende måder.En formel modal logik repræsenterer modaliteter ved at bruge modale operatorer. For eksempel inderholder sætningerne "Mordet på Jones var en mulighed"; "Jones blev muligvigvis myrdet"; og "Det er muligt at Jones blev myrdet" alle begrebet om mulighed. I modallogik er dette repræsenteret som en en operator muligvis,
Se mere på Wikipedia.org...