Back منطق موجهات Arabic Lògica modal Catalan Modální logika Czech Modallogik Danish Modallogik German Modal logic English Modala logiko Esperanto Lógica modal Spanish Modaalne loogika Estonian منطق موجهات Persian
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 logiikoille. Muita modaliteetteja ovat muun muassa episteeminen, temporaalinen ja deonttinen.
Alla esitellään esimerkinomainen aleettinen modaalilogiikka.