Back منطق موجهات Arabic Lògica modal Catalan Modální logika Czech Modallogik Danish Modallogik German Modal logic English Modala logiko EO Lógica modal Spanish Modaalne loogika ET منطق موجهات FA
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.