Team semantics is a semantical framework for the study of dependence and independence
concepts ubiquitous in many areas such as databases and statistics. In recent works team …

We define a variant of team semantics called multiteam semantics based on multisets and
study the properties of various logics in this framework. In particular, we define natural …

We study the expressive power of fragments of inclusion and independence logic defined by
restricting the number k of universal quantifiers in formulas. Assuming the so-called strict …

We analyze the behaviour of declarations of independence between existential quantifiers
in quantifier prefixes of Independence-Friendly (IF) sentences; we give a syntactical criterion …

We present a compositional semantics for first-order logic with imperfect information that is
equivalent to Sevenster and Sandu's equilibrium semantics (under which the truth value of a …

Independence-Friendly (IF) logic is an extension of first-order logic that embodies some
aspects of extensive games of imperfect information. Acts of signalling (communication …

We investigate the expressive power of sentences of the family of independence friendly (IF)
logics in the equality-free setting. Various natural equality-free fragments of logics in this …

Dependence logic and its many variants are new logics that aim at establishing a unified
logical theory of dependence and independence underlying seemingly unrelated subjects …

Lottery semantics Page 39 Lottery Semantics∗ Pietro Galliani and Allen L. Mann Abstract We
present a compositional semantics for a logic of imperfect information and prove its equivalence …

We investigate the expressive power of sentences of the family of independence-friendly (IF)
logics in the equality-free setting. Various natural equality-free fragments of logics in this …