We introduce some new logics of imperfect information by adding atomic formulas
corresponding to inclusion and exclusion dependencies to the language of first order logic …

Dependence logic is a new logic which incorporates the notion of “dependence”, as well as
“independence” between variables into first-order logic. In this thesis, we study extensions …

We investigate the properties of Inclusion Logic, that is, First Order Logic with Team
Semantics extended with inclusion dependencies. We prove that Inclusion Logic is …

Dependence logic, introduced in Väänänen (2007)[11], cannot be axiomatized. However,
first-order consequences of dependence logic sentences can be axiomatized, and this is …

Dependence logic extends the language of first order logic by means of dependence atoms
and aims to establish a basic theory of dependence and independence underlying such …

We study the expressive power of fragments of inclusion and independence logic defined
either by restricting the number of universal quantifiers or the arity of inclusion and …

In this article we review recent results on expressivity and complexity of first-order, modal,
and propositional dependence logic and some of its variants such as independence and …

We examine doxastically inspired variants and extensions of Dependence Logic which arise
from the consideration of announcement operators and non-functional dependence atoms …

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 …

We introduce three measures of complexity for families of sets. Each of the three measures,
which we call dimensions, is defined in terms of the minimal number of convex subfamilies …