jrclogic/SMCDEL

A symbolic model checker for Dynamic Epistemic Logic.

语言：Haskell · GitHub 星标：56 · Fork：10

话题：epistemic-logic · haskell · logic · model-checking · symbolic

在 GitHub 上查看原仓库