On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics
(2019) [Preprint]
Authors
Selected Authors
Hoelzel, Matthias
Wilke, Richard
Identifier
- REPORT NUMBER: RWTH-2019-09538
You Are Here: On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics
(2019) [Preprint]
Hoelzel, Matthias
Wilke, Richard