Graph games are interactive scenarios with a wide range of applications. This position
paper discusses old and new graph games in tandem with matching logics and identifies …

We consider team semantics for propositional logic, continuing [34]. In team semantics the
truth of a propositional formula is considered in a set of valuations, called a team, rather than …

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 …

Team semantics is a highly general framework for logics which describe dependencies and
independencies among variables. Typically, the (in) dependencies considered in this …

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 …

Phasor Measurement Units (PMUs) utilize three-phase current and voltage transformers to
obtain input signals from which the phasors are estimated. In general the instrument …

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 investigate extensions of dependence logic with generalized quantifiers. We also
introduce and investigate the notion of a generalized atom. We define a system of semantics …

In this paper we propose a formal framework for modeling the interaction of causal and
(qualitative) epistemic reasoning. To this purpose, we extend the notion of a causal model …

This is an entry for the Stanford Encyclopedia of Philosophy surveying the broad area of
logics for analyzing games. The main topics are Game Structure, Nature of Players, and …