modallogik
Modallogik, (af lat. modus 'måde' og logik), logisk disciplin, som beskæftiger sig med argumenter, der involverer udsagn om nødvendighed, tilfældighed og mulighed. Udviklingen af modallogikken kan føres tilbage til Aristoteles; den første egentlige formelle modallogik blev udviklet af Clarence Irving