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:
- 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.