https://github.com/rkirsling/modallogic

Modal Logic Playground
https://github.com/rkirsling/modallogic

directed-graph modal-logic semantics

Last synced: about 1 month ago
JSON representation

Modal Logic Playground

• Host: GitHub
• URL: https://github.com/rkirsling/modallogic
• Owner: rkirsling
• License: mit
• Created: 2013-02-06T04:42:19.000Z (over 11 years ago)
• Default Branch: master
• Last Pushed: 2024-02-01T17:01:13.000Z (7 months ago)
• Last Synced: 2024-06-28T18:44:19.478Z (2 months ago)
• Topics: directed-graph, modal-logic, semantics
• Language: JavaScript
• Homepage: http://rkirsling.github.io/modallogic/
• Size: 164 KB
• Stars: 359
• Watchers: 22
• Forks: 55
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

• awesome-starred - rkirsling/modallogic - Modal Logic Playground (others)

README

        
Modal Logic Playground

======================

A graphical semantic calculator for modal propositional logic, built using [D3](http://d3js.org/), [MathJax](http://www.mathjax.org/), and [Bootstrap](http://getbootstrap.com/).

See it in action at [rkirsling.github.io/modallogic](http://rkirsling.github.io/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](API-Reference.md).

* I've also extracted the directed graph editing code so that it can be easily repurposed. You can find it [here](http://bl.ocks.org/rkirsling/5001347).