Pages that link to "Item:Q4583175"
From MaRDI portal
The following pages link to DEL-sequents for regression and epistemic planning (Q4583175):
Displaying 12 items.
- Refinement modal logic (Q476194) (← links)
- Dynamic epistemic logic with branching temporal structures (Q1036059) (← links)
- Knowledge-based programs as succinct policies for partially observable domains (Q2046009) (← links)
- Multi-agent conformant planning with distributed knowledge (Q2148824) (← links)
- Planning-based knowing how: a unified approach (Q2238589) (← links)
- A dynamic epistemic framework for reasoning about conformant probabilistic plans (Q2321264) (← links)
- Generalized DEL-Sequents (Q2915058) (← links)
- (Q5015399) (← links)
- Dynamic Epistemic Logic as a Substructural Logic (Q5249692) (← links)
- DYNAMIC CONSEQUENCE AND PUBLIC ANNOUNCEMENT (Q5414136) (← links)
- To be announced (Q6040661) (← links)
- Epistemic planning: perspectives on the special issue (Q6098843) (← links)
