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?