33 citations · 65 across the 13 of their papers we have counts for
8 papers · 1 filter
On the Role of Postconditions in Dynamic First-Order Epistemic Logic
Côme Neyrand, Sophie Pinchinat
Dynamic Epistemic Logic (DEL) is a logic that models information change in a multi-agent setting through the use of action models with pre- and post-conditions. In a recent work, D…
Dynamic Epistemic Logic Games with Epistemic Temporal Goals
Bastien Maubert, Aniello Murano, Sophie Pinchinat +2
Dynamic Epistemic Logic (DEL) is a logical framework in which one can describe in great detail how actions are perceived by the agents, and how they affect the world. DEL games wer…
Reachability Games in Dynamic Epistemic Logic
Bastien Maubert, Sophie Pinchinat, François Schwarzentruber
We define reachability games based on Dynamic Epistemic Logic (DEL), where the players' actions are finely described as DEL action models. We first consider the setting where an ex…
Unifying Hyper and Epistemic Temporal Logic
Laura Bozzelli, Bastien Maubert, Sophie Pinchinat
In the literature, two powerful temporal logic formalisms have been proposed for expressing information flow security requirements, that in general, go beyond regular properties. O…
The Expressive Power of Epistemic -Calculus
Cătălin Dima, Bastien Maubert, Sophie Pinchinat
While the -calculus notoriously subsumes Alternating-time Temporal Logic (ATL), we show that the epistemic -calculus does not subsume ATL with imperfect information (ATL)…
Automata Techniques for Epistemic Protocol Synthesis
Guillaume Aucher, Bastien Maubert, Sophie Pinchinat
In this work we aim at applying automata techniques to problems studied in Dynamic Epistemic Logic, such as epistemic planning. To do so, we first remark that repeatedly executing…