A graphical semantic calculator for modal propositional logic, built using D3, MathJax, and Bootstrap.
See it in action at rkirsling.github.io/modallogic!
Modal Logic Playground
A graphical semantic calculator for modal propositional logic, built using D3, MathJax, and Bootstrap.
See it in action at rkirsling.github.io/modallogic!