On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics

Hoelzel, Matthias (Corresponding author); Wilke, Richard

(2019)
Preprint

Identifier