The following pages link to DEL-sequents for progression (Q5891665):
Displaying 8 items.
- Multiagent belief revision (Q492877) (← links)
- Dynamic epistemic logic with branching temporal structures (Q1036059) (← links)
- A general multi-agent epistemic planner based on higher-order belief change (Q2060686) (← links)
- Arrow update synthesis (Q2216107) (← links)
- Exploring the Power of Converse Events (Q2902941) (← links)
- Generalized DEL-Sequents (Q2915058) (← links)
- DEL-sequents for regression and epistemic planning (Q4583175) (← links)
- Dynamic Epistemic Logic as a Substructural Logic (Q5249692) (← links)