Doubly Strongly First Order Dependencies

Abstract

Team Semantics is a generalization of Tarskian Semantics that can be used to add to First Order Logic atoms and connectives expressing dependencies between the possible values of variables. Some of these extensions are more expressive than First Order Logic, while others are reducible to it. In this work, I 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 (or, equivalently, when they are added to First Order Logic augmented with a contradictory negation connective applicable only to literals and dependency atoms).