Modaalilogiikoilla
Modaalilogiikoilla viitataan formaaleihin logiikkajärjestelmiin, jotka laajentavat peruspredikaattilogiikkaa käsittelemään modaalisia operaattoreita. Nämä operaattorit ilmaisevat erilaisia modaalisuuksia, kuten välttämättömyyttä, mahdollisuutta, uskomusta tai tietoa. Yleisimpiä modaalilogiikoita ovat modaalilogiikka S4 ja S5, joita käytetään usein filosofiassa, tietojenkäsittelytieteessä ja kielitieteessä.
Peruspredikaattilogiikka käsittelee väitteitä ja niiden totuusarvoja. Modaaliset operaattorit, kuten "välttämättä" (merkitty symbolilla □) ja "mahdollisesti" (merkitty symbolilla
Malli-teoreettinen lähestymistapa on keskeinen modaalilogiikoiden ymmärtämisessä. Se määrittelee modaalilogiikoiden merkityksen suhteellisten "mahdollisten maailmojen" joukon avulla. Jokaisessa
Modaalilogiikoita käytetään myös uskomusten ja tietämisen mallintamiseen. Esimerkiksi "uskomuslogiikka" käyttää operaattoreita, kuten "Agentti A uskoo, että..."