On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics. (Q5874212)
From MaRDI portal
scientific article; zbMATH DE number 7650838
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics. |
scientific article; zbMATH DE number 7650838 |
Statements
7 February 2023
0 references
higher order logic
0 references
existential second-order logic
0 references
team semantics
0 references
closure properties
0 references
union closure
0 references
model-checking games
0 references
syntactic charactisation
0 references
On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics. (English)
0 references
