Kripke Sketchpad

An interactive modal-logic playground. Draw a world graph, toggle facts, and see where your formula holds.