Rank logic is dead, long live rank logic!

Erich Grädel, Wied Pakusa

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 matri…