SMCDEL
From MaRDI portal
swMATH29077MaRDI QIDQ40791FDOQ40791
Author name not available (Why is that?)
Official website: https://github.com/jrclogic/SMCDEL
Source code repository: https://github.com/jrclogic/SMCDEL
Cited In (14)
- Populational announcement logic (PPAL)
- Possible worlds semantics based on observation and communication
- Dynamic epistemic logics: promises, problems, shortcomings, and perspectives
- MCMAS
- MCK
- criterion
- CacBDD
- DEMO
- HasCacBDD
- Hintikka's world
- A lightweight epistemic logic and its application to planning
- Dynamic term-modal logics for first-order epistemic planning
- Verification and strategy synthesis for coalition announcement logic
- Symbolic Model Checking for Dynamic Epistemic Logic
This page was built for software: SMCDEL
