First-order logic with counting
Dietrich Kuske, Nicole Schweikardt · 2017
We introduce the logic FOCN(P) which extends first-order logic by counting and by numerical predicates from a set P, and which can be viewed as a natural generalisation of various counting logics that have been studied in the literature.