This is the web interface of SMCDEL , a symbolic model checker for Dynamic Epistemic Logic. See this paper and this technical report for more information.

Made by Malvin Gattinger. Using alex, happy, haskell, MathJax, scotty, stack, and more awesome free software.