modal logikk

Modal logikk er en del av logikken som tar for seg den logiske struktur ved begreper som «nødvendig» og «mulig». Dette har alltid vært et sentralt emne innen filosofisk logikk, med en historie som går tilbake til de kristne skolastikere i middelalderen og videre til Aristoteles og andre oldtidsfilosofer.

Den matematiske behandling av modal logikk er av nyere dato. Først rundt 1960 fikk emnet en tilfredsstillende behandling av Stig Kanger, Saul Kripke og Jaakko Hintikka. Modal logikk er blant annet et viktig hjelpemiddel i studiet av de naturlige språks semantikk.

Applisert modal logikk er et område som har vokst frem siden slutten av 1970-årene. I tillegg til deontisk logikk har også handlingslogikk blitt et stort felt. Modallogiske metoder benyttes også innenfor kognisjonsvitenskap og da spesielt innen forskningen om kunstig intelligens.