DEMO
From MaRDI portal
Cited in
(16)- VerICS
- Verification and strategy synthesis for coalition announcement logic
- MCMAS
- MCK
- Populational announcement logic (PPAL)
- criterion
- Aximo
- Three steps
- CacBDD
- SMCDEL
- HasCacBDD
- Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond*
- Connecting dynamic epistemic and temporal epistemic logics
- A cut-free labelled sequent calculus for dynamic epistemic logic
- The language of social software
- Logic and social cognition. The facts matter, and so do computational models
This page was built for software: DEMO
