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

DOI10.4230/LIPICS.CSL.2020.25OpenAlexW3003255890MaRDI QIDQ5874212

Richard Wilke, Matthias Hoelzel

Publication date: 7 February 2023

Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2020/11668/pdf/LIPIcs-CSL-2020-25.pdf/

zbMATH Keywords

closure propertiesexistential second-order logicteam semanticsmodel-checking gameshigher order logicunion closuresyntactic charactisation

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Related Items (1)

Propositional union closed team logics

This page was built for publication: On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics.