Open Internet by MindsNet

Epistemic Logic Modeling Tools

Undocumented modeling tools for epistemic logic and knowledge representation.

Mathematics & logic, Logic & Reasoning, Formal Logic