|
|||||
|
|
On definability of team relations with k-invariant atoms |
|
| Affiliation: | 1. Tampere University, Finland;2. Université Paris-Saclay, CNRS, ENS Paris-Saclay, LMF, France |
| Abstract: | |
| Keywords: | Team semantics Expressive power Arity fragments Inclusion-exclusion logic Undefinability results Proof techniques |
| 本文献已被 ScienceDirect 等数据库收录！ | |