Logics with Rank Operators

We introduce extensions of first-order logic (FO) and fixed-point logic (FP) with operators that compute the rank of a definable matrix. These operators are generalizations of the counting operations in FP+C (i.e. fixed-point logic with counting) that allow us to count the dimension of a definable v...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Dawar, A., Grohe, M., Holm, B., Laubner, B.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Computer science Equations Galois fields Linear algebra Logic Pathology Polynomials Transmission line matrix methods Tree graphs
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!