Worlds and Boxes

A small Kripke frame playground. Place worlds, connect them with arrows, toggle p q r, and see which worlds satisfy a modal formula.