In open systems verification, to formally check for reliability, one needs an appropriate
formalism to model the interaction between agents and express the correctness of the …

We introduce an extension of Strategy Logic for the imperfect-information setting, called SLii
and study its model-checking problem. As this logic naturally captures multi-player games …

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 …

In this paper, we propose a single-agent logic of goal-directed knowing how extending the
standard epistemic logic of knowing that with a new knowing how operator. The semantics of …

We study a class of synchronous, perfect-recall multi-agent systems with imperfect
information and broadcasting, ie, fully observable actions. We define an epistemic extension …

Strategy Logic (SL, for short) has been introduced by Mogavero, Murano, and Vardi as a
useful formalism for reasoning explicitly about strategies, as first-order objects, in multi-agent …

The existence of a coalition strategy to achieve a goal does not necessarily mean that the
coalition has enough information to know how to follow the strategy. Neither does it mean …

In game theory, as well as in the semantics of game logics, a strategy can be represented by
any function from states of the game to the agent's actions. That makes sense from the …

The paper proposes a bimodal logic that describes an interplay between coalition strategies
and distributed knowledge. Unlike the existing literature, the paper assumes that a strategy …

The paper proposes a bimodal logic that describes an interplay between distributed
knowledge modality and coalition know-how modality. Unlike other similar systems, the one …