Open Internet by MindsNet

Modal Logic Playground

Possible worlds semantics made interactive

Mathematics & logic, Mathematics, Mathematical Logic