Abstract | ||
---|---|---|
I consider the question of which dependencies are safe for a Team Semantics-based logic FO(D), in the sense that they do not increase its expressive power over sentences when added to it. I show that some dependencies, like totality, non-constancy and non-emptiness, are safe for all logics FO(D), and that other dependencies, like constancy, are not safe for FO(D) for some choices of D despite being strongly first order (that is, safe for FO(∅)). I furthermore show that the possibility operator ⋄ϕ, which holds in a team if and only if ϕ holds in some nonempty subteam, can be added to any logic FO(D) without increasing its expressive power over sentences. |
Year | DOI | Venue |
---|---|---|
2021 | 10.1016/j.ic.2020.104593 | Information and Computation |
Keywords | DocType | Volume |
Team semantics,Dependence logic,First order logic,Second order logic | Journal | 278 |
ISSN | Citations | PageRank |
0890-5401 | 0 | 0.34 |
References | Authors | |
0 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Pietro Galliani | 1 | 4 | 7.54 |