Ero sivun ”Modaalilogiikka” versioiden välillä

'''Modaalilogiikka''' (''aleettinen modaalilogiikka'') on [[Logiikka|logiikan]] alue, jolla tutkitaan aleettisten [[modaliteetti]]en eli [[välttämättömyys|välttämättömyyden]] ja [[mahdollisuus|mahdollisuuden]] loogisia piirteitä. Usein termi "modaalilogiikka" ymmärretään kokonaisnimityksenä kaikkien modaliteettien loogiikoillelogiikoille. Muita modaliteetteja ovat muun muassa [[episteeminen logiikka|episteeminen]], [[temporaalilogiikka|temporaalinen]] ja [[deonttinen logiikka|deonttinen]].