DEL-sequents for regression and epistemic planning
From MaRDI portal
Publication:4583175
Recommendations
Cites work
- scientific article; zbMATH DE number 2201583 (Why is no real title available?)
- An internal version of epistemic logic
- DEL planning and some tractable cases
- DEL-sequents for progression
- Dynamic epistemic logic
- Dynamic logic for belief revision
- Epistemic planning for single- and multi-agent systems
- Finite models constructed from canonical formulas
- Generalized DEL-Sequents
- Logics for epistemic programs
- Modal logic
- Tableau method and NEXPTIME-completeness of DEL-sequents
- The logic of public announcements, common knowledge, and private suspicions
- What will they say? -- Public announcement games
Cited in
(15)- A dynamic epistemic framework for conformant planning
- A dynamic epistemic framework for reasoning about conformant probabilistic plans
- DYNAMIC CONSEQUENCE AND PUBLIC ANNOUNCEMENT
- Generalized DEL-Sequents
- To be announced
- Refinement modal logic
- DEL planning and some tractable cases
- Multi-agent conformant planning with distributed knowledge
- Knowledge-based programs as succinct policies for partially observable domains
- Planning-based knowing how: a unified approach
- Dynamic Epistemic Logic as a Substructural Logic
- Dynamic epistemic logic with branching temporal structures
- Epistemic planning: perspectives on the special issue
- DEL-sequents for progression
- Exploring the power of converse events
This page was built for publication: DEL-sequents for regression and epistemic planning
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4583175)