Kripke

For each formula, mark the worlds where it is true (or “none”). Check a formula with the “Check” button below it, or check all of them at once.

Description read from the page itself, because the listing it was found in gave none.