Modaalne loogika

Allikas: Vikipeedia

Modaalne loogika ehk modaalloogika on (pms matemaatilise) loogika haru, milles peale lause- ja predikaatarvutuse operatsioonide rakendatakse modaalsusi (võimalik, paratamatu jne)[1].

Modaalse loogika peamine uurimismeetod on aksiomatiseerimine[1].

Modaalne loogika tekkis 1920ndail[1].

Viited[muuda | redigeeri lähteteksti]

  1. 1,0 1,1 1,2 EE 6. köide, 1995.