Ero sivun ”Modaalilogiikka” versioiden välillä
[arvioimaton versio] | [arvioimaton versio] |
Poistettu sisältö Lisätty sisältö
p Kielilinkit; Tynkä/Osa |
p W |
||
Rivi 1:
'''Modaalilogiikka''' (aleettinen modaalilogiikka) on [[Logiikka|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 logiikka|episteeminen]], [[temporaalinen logiikka|temporaalinen]] ja [[deonttinen logiikka|deonttinen]].
Alla esitellään esimerkinomainen aleettinen modaalilogiikka.
|