This dissertation pursues two tightly interwoven goals: to bring out the relevance of
questions for the field of logic, and to establish a solid theory of the logic of questions within …

In this paper, we study logics of dependence on the propositional level. We prove that
several interesting propositional logics of dependence, including propositional dependence …

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 …

In the past few years, a tight connection has emerged between logics of dependency and
logics of questions. The aim of this paper is to show that this connection stems from a …

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 various modal logics with team semantics. We show that
exactly the properties of teams that are downward closed and closed under team k …

In recent years, the logic of questions and dependencies has been investigated in the
closely related frameworks of inquisitive logic and dependence logic. These investigations …

The famous van Benthem theorem states that modal logic corresponds exactly to the
fragment of first-order logic that is invariant under bisimulation. In this article we prove an …

This article introduces modal independence logic MIL, a modal logic that can explicitly talk
about independence among propositional variables. Formulas of MIL are not evaluated in …

Modal inclusion logic is the extension of basic modal logic with inclusion atoms, and its
semantics is defined on Kripke models with teams. A team of a Kripke model is just a subset …