#Kripke Explorer
A graphical semantic calculator for modal and intuitionistic propositional logics, built using D3, MathJax, and Bootstrap.
Based on Modal Logic Playground by Ross Kirsling.
Modal Logic Playground
#Kripke Explorer
A graphical semantic calculator for modal and intuitionistic propositional logics, built using D3, MathJax, and Bootstrap.
Based on Modal Logic Playground by Ross Kirsling.
Modal Logic Playground
http://rkirsling.github.com/modallogic/
MIT License