This is the web interface of
SMCDEL
1.3.0, a symbolic model checker for
Dynamic Epistemic Logic
.
Load Examples:
or enter your own code on the left side, then
or