Last released Jan 8, 2024
A symbolic model checker for the single-agent plausibility models of dynamic epistemic logic
Supported by