Epistemic Logic Online

This website provides an online interface to a model checker for variants of Dynamic Epistemic Logic (DEL).

For now there is only one application:

  1. Epistemic Crypto Logic: Update, Display and Check

More information about Epistemic Model Checking with Haskell:

This website uses Haskell, Yesod, Happy, Graphviz and LaTeX.