Modaalne loogika

Modaalne loogika ehk modaalloogika on formaalse loogika haru, mis uurib modaalsuste (algselt aleetiliste modaalsuste: paratamatu, võimalik jne) vahelisi loogilisi suhteid. 

1920ndatel hakkas modaalloogika arenema sümbolloogika raamistikus, kasutades peale lause- ja predikaatarvutuse operatsioonide modaalseid operaatoreid. Peamiseks uurimismeetodiks kujunes esialgu aksiomatiseerimine.

Vaata ka
Deontiline loogika

Viited 

Loogika