RANK LOGIC IS DEAD, LONG LIVE RANK LOGIC!
RANK LOGIC IS DEAD, LONG LIVE RANK LOGIC!
Abstract Motivated by the search for a logic for polynomial time, we study rank logic ( FPR ) which extends fixed-point logic with counting ( FPC ) by operators that determine the rank of matrices over finite fields. While FPR can express most of the known queries that separate FPC …