Modulo quantifiers over functional vocabularies extending addition

A. Baskar, A. V. Sreejith, R. S. Thinniyam

We show that first order logic (FO) and first order logic extended with modulo counting quantifiers (FOMOD) over purely functional vocabularies which extend addition, satisfy the C…