Modallogic

Modal Logic Playground

Generate Convert Improve

Install / Use

/learn @rkirsling/Modallogic

About this skill

Quality Score

0/100

README

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

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.

Related Skills

node-connect

337.3k

Diagnose OpenClaw node connection and pairing failures for Android, iOS, and macOS companion apps

frontend-design

83.2k

Create distinctive, production-grade frontend interfaces with high design quality. Use this skill when the user asks to build web components, pages, or applications. Generates creative, polished code that avoids generic AI aesthetics.

openai-whisper-api

337.3k

Transcribe audio via OpenAI Audio Transcriptions API (Whisper).

commit-push-pr

83.2k

Commit, push, and open a PR