English

Safe Dependency Atoms and Possibility Operators in Team Semantics

Logic 2018-09-12 v2 Logic in Computer Science

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. I furthermore show that the possibility operator, which holds in a team if and only if its argument holds in some nonempty subteam, can be added to any logic FO(D) without increasing its expressive power over sentences.

Cite

@article{arxiv.1808.00710,
  title  = {Safe Dependency Atoms and Possibility Operators in Team Semantics},
  author = {Pietro Galliani},
  journal= {arXiv preprint arXiv:1808.00710},
  year   = {2018}
}

Comments

In Proceedings GandALF 2018, arXiv:1809.02416

R2 v1 2026-06-23T03:22:32.554Z