Team Logic and Second-Order Logic (Q5894359)
From MaRDI portal
scientific article; zbMATH DE number 5977316
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Team Logic and Second-Order Logic |
scientific article; zbMATH DE number 5977316 |
Statements
Team Logic and Second-Order Logic (English)
0 references
22 November 2011
0 references
dependence logic
0 references
team logic
0 references
functional dependence
0 references
second-order logic
0 references
