All Categories → No Category → epistemic-logic

Top 1 epistemic-logic open source projects

A symbolic model checker for Dynamic Epistemic Logic.

✭ 31

haskell HTML Yacc RPC logic symbolic model-checking epistemic-logic

1-1 of 1 epistemic-logic projects