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 …

In this paper, we propose a decidable single-agent modal logic for reasoning about goal-
directed “knowing how”, based on ideas from linguistics, philosophy, modal logic, and …

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 investigate the modal logic of stepwise removal of objects, both for its intrinsic interest as
a logic of quantification without replacement, and as a pilot study to better understand the …

In this paper, we propose a generalization for fuzzy graphs in order to model reactive
systems with fuzziness. As we will show, the resulting fuzzy structure, called fuzzy reactive …

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 …

This paper proposes different ways of modally defining properties related to the concept of
balance in signed social networks where relations can be either positive or negative. The …

The poison game is a two-player zero-sum game played on directed graphs, first introduced
by Duchet and Meyniel (1993) in the context of graph theory, where one of the players …

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 …

The Poison Game is a two-player game played on a graph in which one player can
influence which edges the other player is able to traverse. It operationalizes the notion of …