Kripke Sketchpad

Build a tiny modal logic world by drawing arrows and toggling truth values. Type a formula and watch which worlds satisfy it.