Graph games and logic design

J van Benthem, F Liu - Knowledge, Proof and Dynamics: The Fourth Asian …, 2020 - Springer
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 …

A logic of goal-directed knowing how

Y Wang - Synthese, 2018 - Springer
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 …

Modal logics of sabotage revisited

G Aucher, J Benthem, D Grossi - Journal of Logic and …, 2018 - academic.oup.com
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 …

The modal logic of stepwise removal

J Van Benthem, K Mierzewski… - The Review of Symbolic …, 2022 - cambridge.org
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 …

Introducing fuzzy reactive graphs: a simple application on biology

R Santiago, MA Martins, D Figueiredo - Soft Computing, 2021 - Springer
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 …

Satisfiability for relation-changing logics

C Areces, R Fervari, G Hoffmann… - Journal of Logic and …, 2018 - academic.oup.com
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 …

The modal logics of the poison game

F Zaffora Blando, K Mierzewski, C Areces - Knowledge, Proof and …, 2020 - Springer
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 …

Modal logics and group polarization

M Young Pedersen, S Smets… - Journal of Logic and …, 2021 - academic.oup.com
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 …

Losing connection: the modal logic of definable link deletion

D Li - Journal of Logic and Computation, 2020 - academic.oup.com
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 …

Credulous acceptability, poison games and modal logic

D Grossi, S Rey - arXiv preprint arXiv:1901.09180, 2019 - arxiv.org
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 …