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