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