The expressive power of \(k\)-ary exclusion logic (Q2273014)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The expressive power of k-ary exclusion logic |
scientific article; zbMATH DE number 7106328
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | The expressive power of \(k\)-ary exclusion logic |
scientific article; zbMATH DE number 7106328 |
Statements
The expressive power of \(k\)-ary exclusion logic (English)
0 references
18 September 2019
0 references
exclusion logic
0 references
inclusion logic
0 references
dependence logic
0 references
team semantics
0 references
existential second order logic
0 references
expressive power
0 references
0 references
0 references
0.9887161254882812
0 references
0.8762586116790771
0 references
0.7967289686203003
0 references
0.7772945165634155
0 references
0.7772469520568848
0 references
