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