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]
