Modaalarvutus (modal logic calculus)

- modaalseid operaatoerid sisaldav lause- või predikaatarvutus. Modaalloogika formaliseerib niisuguseid modaalseid suhteid nagu "paratamatus", "võimalikkus" ja "juhuslikkus". Enamasti kasutatakse partamatuse (aprodiktilist) operaatorit ja võimalikkuse (problemaatilist) operaatorit . Valem on tõene parajasti siis, kui valem A on tõene igas "saavutatavas" interpretatsioonis ("antud maailmast nähtavas maailmas").Valem on tõene parajasti siis, kui valem A on tõene vähemalt ühes "saavutatavas" interpretatsioonis.