Epistemic Logic Playground
This project is based on the open-source Modal Logic Playground by Ross Kirsling. The Epistemic Logic Playground was made by Elliot Evans. Special thanks to my non-classical logic instructors Richard Zach and Audrey Yap, as well as my classmates who provided feedback on this project.
The Epistemic Logic Playground is a graphical semantic calculator for Dynamic Epistemic logic, built using D3, MathJax, and Bootstrap.
See it in action at vezwork.github.com/modallogic!