collaborators

1 paper

cs.LO2026

Complexity of Clique-Guarded First-Order Logic with Counting

Steffen van Bergerem, Johannes Friedrich Lange, Nicole Schweikardt

We introduce clique-guarded first-order logic with counting (cgFOC), a fragment of the first-order logic with counting FOC [Kuske and Schweikardt, LICS 2017], and we study the comp…