A realistic model of multi-agent planning must allow us to formalize notions which are absent
in classical planning, such as communication and knowledge. We investigate multi-agent …

Dynamic epistemic logic (DEL) is an extension of modal multi-agent epistemic logic with
dynamic operators. We propose a succinct version of DEL where Kripke models and event …

Dynamics and uncertainty are essential features of real-life argumentation, and many recent
studies have focused on integrating both aspects into Dung's well-known abstract …

The growing interest in generalizations of Dung's abstract argumentation frameworks has
recently led to the simultaneous and independent discovery of a combination of two of these …

We study the symbolic model checking problem against public announcement protocol logic
(PAPL), featuring protocols with public announcements, arbitrary public announcements and …

We introduce a dynamic logic with parallel composition and two kinds of nondeterministic
composition, exclusive and inclusive. We show PSPACE completeness of both the model …

We provide a logical analysis of Dung's abstract argumentation frameworks and their
dynamics. We express attack relation and argument status by means of propositional …

We analyse epistemic boolean games in a computationally grounded dynamic epistemic
logic. The agents' knowledge is determined by what they see, including higher-order …

Dynamic epistemic logics provide an account of the evolution of agents' belief and
knowledge when they learn the occurrence of an event. These logics started to become …

We consider the language of Dynamic epistemic logic with knowledge operators, common
knowledge operators and dynamic operators based on event models. First, we prove that …