rkirsling/modallogic

Modal Logic Playground

JavaScript

383

63 commits

updated Feb 1, 2024

rkirsling.github.io/modallogic

See the code

README

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

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.

directed-graph

modal-logic

semantics

Contributors

rkirsling

63 commits

Similar repos

KeelyHill/tuppers-formula

A small web app that allows the simple creation and decoding of Tupper's self-referential formula.

RBornat/jape

Jape, a configurable proof editor (best at natural deduction and sequent calculus)

boundary/html5-node-diagram

qnighy/logic-solver-rs

dagrejs/dagre

Directed graph layout for JavaScript

5,799

dagrejs/dagre-d3

A D3-based renderer for Dagre

2,963

zhengkid/Parallel_Thinking_via_MoT

Official Code for "Learning to Reason via Mixture-of-Thought for Logical Reasoning"

jaalonso/Lecturas_GLC

Readings on computational logic, interactive theorem proving and functional programming.

Languages

JavaScript

53.9%

HTML

37.6%

CSS

8.5%

rkirsling/modallogic

Modal Logic Playground

JavaScript

383

63 commits

updated Feb 1, 2024

rkirsling.github.io/modallogic

See the code

README

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

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.

directed-graph

modal-logic

semantics

Similar repos

KeelyHill/tuppers-formula

A small web app that allows the simple creation and decoding of Tupper's self-referential formula.

RBornat/jape

Jape, a configurable proof editor (best at natural deduction and sequent calculus)

boundary/html5-node-diagram

qnighy/logic-solver-rs

dagrejs/dagre

Directed graph layout for JavaScript

5,799

dagrejs/dagre-d3

A D3-based renderer for Dagre

2,963

zhengkid/Parallel_Thinking_via_MoT

Official Code for "Learning to Reason via Mixture-of-Thought for Logical Reasoning"

jaalonso/Lecturas_GLC

Readings on computational logic, interactive theorem proving and functional programming.

Contributors

rkirsling

63 commits

Languages

JavaScript

53.9%

HTML

37.6%

CSS

8.5%