Modallogik
Fra Wikipedia, den frie encyklopædi
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,
De basale modale operatorer er sædvanligvis 
for Nødvendigvis og 
, for Muligvis. De er gensidigt definerbare således:
Således er det muligt, at Jones blev myrdet hvis og kun hvis det ikke er nødvendigt, at Jones ikke blev myrdet.
Modallogik spiller en rolle indenfor dele af filosofien.
