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 …

Sabotage modal logic was proposed in 2003 as a format for analysing games that modify
graphs they are played on. We investigate some model-theoretic and proof-theoretic aspects …

We study dynamic modal operators that can change the accessibility relation of a model
during the evaluation of a formula. In particular, we extend the basic modal language with …

Relation-changing modal logics (RC for short) are extensions of the basic modal logic with
dynamic operators that modify the accessibility relation of a model during the evaluation of a …

Relation-changing modal logics are extensions of the basic modal logic that allow changes
to the accessibility relation of a model during the evaluation of a formula. In particular, they …

Relation-changing modal logics are extensions of the basic modal logic that allow to change
the accessibility relation of a model during the evaluation of a formula. In particular, they are …

We propose a logic with the dynamic modal operators copy and remove. The copy operator
replicates a given model, and the remove operator removes paths in a given model. We …

In this article, we present a modal logic that extends the basic modal logic ML with two
dynamic operators: copy (cp), which replicates the current model, labelling each copy with a …

We can fairly say that Logic (whichever you want to choose, be it propositional or first order,
classical or non-classical) is the mathematical tool used, par excellence, to describe a …

Sabotage modal logic was proposed in 2003 as a format for analyzing games that modify
graphs they are played on. We investigate some model-theoretic and proof-theoretic aspects …