Tableau Method and NEXPTIME-Completeness of DEL-Sequents
Guillaume Aucher, Bastien Maubert, François Schwarzentruber · Electronic Notes in Theoretical Computer Science · 2011
Dynamic Epistemic Logic (DEL) deals with the representation of situations in a multi-agent and dynamic setting. It can express in a uniform way statements about: what is true about an initial situation what is true about an event occurring in this situation what is true about the resulting situation after the event has occurred.