jrclogic / SMCDEL

A symbolic model checker for Dynamic Epistemic Logic.
43Updated 3 weeks ago

Related projects

Alternatives and complementary repositories for SMCDEL