First-order logic with counting
LICS, pp. 1-12, 2017.
We introduce the logic FOCN(ℙ) which extends first-order logic by counting and by numerical predicates from a set ℙ, and which can be viewed as a natural generalisation of various counting logics that have been studied in the literature.
Full Text (Upload PDF)
PPT (Upload PPT)