Uniform interpolation for propositional and modal team logics (Q5213395)
From MaRDI portal
scientific article; zbMATH DE number 7161969
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Uniform interpolation for propositional and modal team logics |
scientific article; zbMATH DE number 7161969 |
Statements
Uniform interpolation for propositional and modal team logics (English)
0 references
3 February 2020
0 references
team semantics
0 references
dependence logics
0 references
uniform interpolation
0 references
bisimulation quantifiers
0 references
