Safe Dependency Atoms and Possibility Operators in Team Semantics

DOI10.1016/J.IC.2020.104593MaRDI QIDQ6304937arXivFDO

Authors Pietro Galliani

Publication date 2 August 2018

Published in arXiv

Full work available at URL https://doi.org/10.1016/J.IC.2020.104593

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

arXiv classification

cs.LO math.LO

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.

This page was built for publication: Safe Dependency Atoms and Possibility Operators in Team Semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6304937)