Skip to content
<awesome-gh-repos>
vic

rkirsling/modallogic

Modal Logic Playground
Source code at GitHub http://rkirsling.github.io/modallogic/
rkirsling/modallogic.json
{
  "createdAt": "2013-02-06T04:42:19Z",
  "defaultBranch": "master",
  "description": "Modal Logic Playground",
  "fullName": "rkirsling/modallogic",
  "homepage": "http://rkirsling.github.io/modallogic/",
  "language": "JavaScript",
  "name": "modallogic",
  "pushedAt": "2024-02-01T17:01:13Z",
  "stargazersCount": 374,
  "topics": [
    "directed-graph",
    "modal-logic",
    "semantics"
  ],
  "updatedAt": "2025-11-06T09:51:40Z",
  "url": "https://github.com/rkirsling/modallogic"
}

Modal Logic Playground

Section titled “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!

Reusable code

Section titled “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.