Cited in
(15)- Dynamic term-modal logics for first-order epistemic planning
- Possible worlds semantics based on observation and communication
- Symbolic Model Checking for Dynamic Epistemic Logic
- VerICS
- MCMAS
- MCK
- criterion
- CacBDD
- DEMO
- HasCacBDD
- Hintikka's world
- A lightweight epistemic logic and its application to planning
- Verification and strategy synthesis for coalition announcement logic
- Dynamic epistemic logics: promises, problems, shortcomings, and perspectives
- Populational announcement logic (PPAL)
This page was built for software: SMCDEL