Counting of Teams in First-Order Team Logics

Anselm Haak, Juha Kontinen, Fabian Müller +2

We study descriptive complexity of counting complexity classes in the range from #P to #$\cdot$NP. A corollary of Fagin's characterization of NP by existential second-order logic i…