modaalilogiikka

Modaalilogiikka (aleettinen modaalilogiikka) on logiikan alue, jolla tutkitaan aleettisten modaliteettien eli välttämättömyyden ja mahdollisuuden loogisia piirteitä. Usein termi "modaalilogiikka" ymmärretään kokonaisnimityksenä kaikkien modaliteettien loogiikoille. Muita modaliteetteja ovat muun muassa episteeminen, temporaalinen ja deonttinen.