Enumerating Teams in First-Order Team Logics

Anselm Haak, Arne Meier, Fabian Müller +1

We start the study of the enumeration complexity of different satisfiability problems in first-order team logics. Since many of our problems go beyond DelP, we use a framework for…