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 …

We investigate dynamic modal operators that can change the model during evaluation. We
define the logic SL by extending the basic modal language with the modality, which is a …

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 …

In this article, we start with a two-player game that models communication under adverse
circumstances in everyday life and study it from the perspective of a modal logic of graphs …

We investigate some model and proof theoretic aspects of sabotage modal logic. The first
contribution is to prove a characterization theorem for sabotage modal logic as the fragment …

We discuss a simple logic to describe one of our favourite games from childhood, hide and
seek, and show how a simple addition of an equality constant to describe the winning …

Formal learning theory formalizes the process of inferring a general result from examples, as
in the case of inferring grammars from sentences when learning a language. Although …

This work studies positive and negative introspection not as 'static'properties an agent might
or might not have, but rather as epistemic actions that change the agent's knowledge. The …

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 …