Pages that link to "Item:Q4612409"
From MaRDI portal
The following pages link to Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond* (Q4612409):
Displayed 6 items.
- SMCDEL (Q40791) (← links)
- A computationally grounded logic of graded belief (Q2055797) (← links)
- Verification and strategy synthesis for coalition announcement logic (Q2071573) (← links)
- Dynamic term-modal logics for first-order epistemic planning (Q2211848) (← links)
- A lightweight epistemic logic and its application to planning (Q2238679) (← links)
- Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic (Q6118728) (← links)