Modallogik/Prädikatenlogik/Allquantor/Aufgabe

Welche modallogischen Axiomenschemata gelten in der Prädikatenlogik, wenn man den Notwendigkeitsoperator ${}\Box$ als ${}\forall x$ mit einer fixierten Variablen ${}x$ interpretiert?