Comparing State-Representations for DEL Model Checking

Gregor Behnke, Malvin Gattinger, Avijeet Ghosh +1

Model checking with the standard Kripke models used in (Dynamic) Epistemic Logic leads to scalability issues. Hence alternative representations have been developed, in particular s…