Predikatų modalinė logika gaunama prie klasikinės predikatų logikos prijungus modalinius operatorius. Šitai galima atlikti skirtingais būdais, priklausomai nuo to, kaip atsakysime į klausimus: ar kiekviena individinė konstanta visuose galimuose pasauliuose nurodo į tą patį individą?. Ar modelis turi tik vieną domeną, ar po vieną domeną kiekvienam galimam pasauliui? Ir t. t. ir pan.
