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
Faculties and Institutions
You Are Here: On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics
Faculties and Institutes
- Mathematics, Computer Science and Natural SciencesFaculty 1
- ArchitectureFaculty 2
- Civil EngineeringFaculty 3
- Mechanical EngineeringFaculty 4
- Georesources and Materials EngineeringFaculty 5
- Electrical Engineering and Information TechnologyFaculty 6
- Arts and HumanitiesFaculty 7
- Business and EconomicsFaculty 8
- MedicineFaculty 10
Find Institute:
Navigation
Department
You Are Here:
- Department 1.1
- Research
- Publications
- Preprints
- On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics