Arity and alternation: a proper hierarchy in higher order logics

We study the effect of simultaneously bounding the maximal-arity of the higher-order variables and the alternation of quantifiers in higher-order logics, as to their expressive power on finite structures (or relational databases). Let be the class of (i + 1)-th order logic formulae where all quantif...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Annals of mathematics and artificial intelligence 2007-06, Vol.50 (1-2), p.111-141
Hauptverfasser:	Ferrarotti, Flavio Antonio, Turull Torres, José María
Format:	Artikel
Sprache:	eng
Schlagworte:	Logic Relational data bases
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!