The following pages link to DEL-sequents for progression (Q5891665):
Displayed 5 items.
- Multiagent belief revision (Q492877) (← links)
- A general multi-agent epistemic planner based on higher-order belief change (Q2060686) (← links)
- Arrow update synthesis (Q2216107) (← links)
- DEL-sequents for regression and epistemic planning (Q4583175) (← links)
- Dynamic Epistemic Logic as a Substructural Logic (Q5249692) (← links)