Mischen von Quantoren in gleichförmigen eindimensionalen Fragmenten mit einem Ausflug in die Logik mit drei Variablen
Der Artikel untersucht die Möglichkeit, sowohl existenzielle als auch allgemeine Quantoren in Blöcken innerhalb des gleichförmigen eindimensionalen Fragments der Prädikatenlogik zu verwenden. Es werden zwei Einschränkungen dieses erweiterten Formalismus untersucht, die beide die Entscheidbarkeit und die exponentielle Modell-Eigenschaft aufweisen.