swMATH29079MaRDI QIDQ40793FDOQ40793
Author name not available (Why is that?)
Official website: https://homepages.cwi.nl/~jve/#Software
Cited In (15)
- Populational announcement logic (PPAL)
- A cut-free labelled sequent calculus for dynamic epistemic logic
- Three steps
- Connecting dynamic epistemic and temporal epistemic logics
- Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond*
- MCMAS
- MCK
- criterion
- Aximo
- CacBDD
- HasCacBDD
- SMCDEL
- 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
