Модалды логика

Модалды логика () — "мүмкін","сөзсіз","тиісті" және басқа сөздермен белгіленетін, белгілі пікірдің түрін зерттейтін формалды тұжырым теориясы, символикалық логиканың бір бөлігі. Мысалы "Кейбір елдерде диктатура орнауы мүмкін," немесе "Барлық өсімдіктің бойында сөзсіз ылғал болады," т.б. Модалды логика пікірдің логикалық құрылымын, логикалық тұжырымның модалды заңын және ережелерін зерттейді. Модалды пікірлер, белгілер тілінің көмегімен, формула, аксиомаларды қолдану арқылы әр түрлі модалды пікірлердің формалдану дәрежесі мен растық мәнін сипаттауға және сандастыруға пайдаланылады.

Санат:Логика