34 citations · 39 across the 3 of their papers we have counts for
3 papers
cs.LO2022★ 3 cited
A van Benthem Theorem for Atomic and Molecular Logics
Guillaume Aucher
After recalling the definitions of atomic and molecular logics, we show how notions of bisimulation can be automatically defined from the truth conditions of the connectives of any…
cs.LO2014★ 2 cited
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…
cs.LO2013★ 34 cited
On the Complexity of Dynamic Epistemic Logic
Guillaume Aucher, Francois Schwarzentruber
Although Dynamic Epistemic Logic (DEL) is an influential logical framework for representing and reasoning about information change, little is known about the computational complexi…