Safe Dependency Atoms and Possibility Operators in Team Semantics

@article{Galliani2018SafeDA,
  title={Safe Dependency Atoms and Possibility Operators in Team Semantics},
  author={Pietro Galliani},
  journal={ArXiv},
  year={2018},
  volume={abs/1808.00710},
  url={https://api.semanticscholar.org/CorpusID:51908701}
}
It is shown 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.
[PDF] Semantic Reader

Figures from this paper

9 Citations

Doubly strongly first-order dependencies

Team Semantics is a generalization of Tarskian Semantics in which formulas are satisfied with respect to sets of assignments, called teams. In this semantics, it is possible to add new atoms and…

Doubly Strongly First Order Dependencies

This work fully characterize the (relativizable) atoms and families of atoms that do not increase the expressive power of First Order Logic with Team Semantics when they and their negations are added to it, separately or jointly.

Strongly First Order, Domain Independent Dependencies: The Union-Closed Case

This work provides necessary and sufficient conditions for a dependency atom that is domain independent and union closed to be strongly first order, in the sense that the logic obtained by adding them to First order Logic is no more expressive than First Order Logic itself.

Strongly First Order Disjunctive Embedded Dependencies in Team Semantics

This work provides a characterization for the (domain-independent) Disjunctive Embedded Dependencies that fail to increase the expressive power of First-Order Team Semantics when added to it.

Characterizing Strongly First Order Dependencies: The Non-Jumping Relativizable Case

This work shows that the global (or Boolean) disjunction connective can be added to any strongly first order family of dependencies without increasing the expressive power, but that the same is not true in general for not stronglyfirst order dependencies.

Team Semantics for Spatial Reasoning: Locality and Separability

It is argued that Team Semantics is a highly appropriate framework for reasoning about notions such as locality, in which the value of some variable at some point is affected only by the values of other variables in a certain neighbourhood of that point, and separability of spaces into regions with different properties.

CHARACTERIZING DOWNWARDS CLOSED, STRONGLY FIRST-ORDER, RELATIVIZABLE DEPENDENCIES

It is shown that all nontrivial dependency atoms that are strongly first order, downwards closed, and relativizable (in the sense that the relativizations of the corresponding atoms with respect to some unary predicate are expressible in terms of them) are definable in Terms of constancy atoms.

Canonical Models and the Complexity of Modal Team Logic

This work introduces the notion of canonical models into the team-semantical setting of MTL, and reduces the satisfiability problem of MTL to simple model checking, and shows that this approach is optimal in the sense that MTL-formulas can efficiently enforce canonicity.

The flattening operator in team-based logics

A systematic study of the expressive power this operator adds to the most well-known team-based logics, such as dependence logic, anonymity logic, inclusion logic and exclusion logic, is proposed.

32 References

Upwards closed dependencies in team semantics

We prove that adding upwards closed first-order dependency atoms to first-order logic with team semantics does not increase its expressive power (with respect to sentences), and that the same remains…

On Strongly First-Order Dependencies

    P. Galliani
    Mathematics, Computer Science
    Dependence Logic
  • 2016
We prove that the expressive power of first-order logic with team semantics plus contradictory negation does not rise beyond that of first-order logic (with respect to sentences), and that the…

Inclusion and exclusion dependencies in team semantics - On some logics of imperfect information

A corollary of these results characterize the expressive power of independence logic, thus answering an open problem posed in Gradel and Vaananen, 2010  [9] .

CHARACTERIZING DOWNWARDS CLOSED, STRONGLY FIRST-ORDER, RELATIVIZABLE DEPENDENCIES

It is shown that all nontrivial dependency atoms that are strongly first order, downwards closed, and relativizable (in the sense that the relativizations of the corresponding atoms with respect to some unary predicate are expressible in terms of them) are definable in Terms of constancy atoms.

Model-checking games for logics of imperfect information

An abstract, purely combinatorial definition of such games, which may be viewed as second-order reachability games, are isolate and provide a complexity analysis of logics with team semantics.

On the Complexity of Team Logic and its Two-Variable Fragment

This paper considers the logic FO(~), the extension of first-order logic with team semantics by unrestricted Boolean negation, and proves that its satisfiability problem is decidable, and in fact complete for the recently introduced non-elementary class TOWER(poly).

Generalized Quantifiers in Dependence Logic

This work introduces generalized quantifiers, as defined in Tarskian semantics by Mostowski and Lindström, in logics whose semantics is based on teams instead of assignments, e.g., IF-logic and Dependence logic, and argues that this atom is in fact definably equivalent to the independence atom recently introduced by Väänänen and Grädel.

Compositional Semantics for a Language of Imperfect Information

A compositional semantics for this logic is described, which gives a compositional meaning to formulas of the ‘information-friendly’ language of Hintikka and Sandu, and proves that two formulas have the same interpretation in all structures.

Hierarchies in Inclusion Logic with Lax Semantics

The whole expressive power of inclusion logic can be captured using only five inclusion atoms in finite ordered models or, alternatively, only one universal quantifier in general.

Expressivity and Complexity of Dependence Logic

Variants of dependence logic arising by replacing/supplementing dependence atoms with further dependency notions are considered, and propositional and modal variants are studied.