The following pages link to SMCDEL (Q40791):
Displaying 7 items.
- Verification and strategy synthesis for coalition announcement logic (Q2071573) (← links)
- Dynamic term-modal logics for first-order epistemic planning (Q2211848) (← links)
- Populational announcement logic (PPAL) (Q2219080) (← links)
- A lightweight epistemic logic and its application to planning (Q2238679) (← links)
- Possible Worlds Semantics Based on Observation and Communication (Q3299583) (← links)
- Symbolic Model Checking for Dynamic Epistemic Logic (Q3457719) (← links)
- Dynamic epistemic logics: promises, problems, shortcomings, and perspectives (Q4586238) (← links)