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:

• DEMO-S5 by Jan van Eijck
• Epistemic Crypto Logic is presented in this paper and in full detail in my MSc thesis.

---

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