This is a model checker for Dynamic Epistemic Logic based on the semantics on Knowledge Structures described in this paper. Unlike the model checker developed by the authors (SMCDEL), this one does not feature any significant optimization and does not use BDDs to represent boolean formulas.
-
Notifications
You must be signed in to change notification settings - Fork 0
DEL Model Checker
mell-o-tron/DEL-Model-Checker
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
DEL Model Checker
Topics
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published