/modallogic

Modal Logic Playground

Primary LanguageJavaScriptMIT LicenseMIT

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!

Reusable code

  • The core part of the code is MPL.js, a library for parsing and evaluating well-formed formulas of modal propositional logic. See the API Reference here.
  • I've also extracted the directed graph editing code so that it can be easily repurposed. You can find it here.