Modal Logic Playground
An interactive playground for modal logic where you build Kripke models and test formulas against them to see which worlds make a statement true.
No account needed · sign in to keep your taste everywhere
More like this
Pages that share Modal Logic Playground's themes. Or browse all of Education.
Transum Maths Puzzles
An extensive collection of interactive mathematical puzzles, from hourglass timing challenges to coordinate-hunting game…
History of Philosophy Visualized
An interactive network graph mapping the influences and disagreements connecting philosophers across the history of West…
Some Invalid Arguments Are More Bad Than Others
An essay proposing a formal way to score how flawed an invalid argument is, combining where the errors occur, whether th…
Thought Experiments
A blog walking through famous thought experiments across philosophy, physics, and history, from quantum suicide to ident…
Tree Proof Generator
A browser tool that builds analytic tableaux (tree proofs) for propositional and predicate logic formulas, showing step…
Philosophy Tree
A free interactive mind map and timeline connecting more than eighty philosophical concepts from ancient thought to cont…
Stumble onto more like this
One click takes you to a page you didn't know you were looking for. Rate it and the next one lands closer to your taste.
Add to Browser — it's freeWorks in Chrome, Edge and Brave. No account needed.