DEL-sequents for regression and epistemic planning

DOI10.1080/11663081.2012.736703zbMath1398.03068OpenAlexW2053161718MaRDI QIDQ4583175

Guillaume Aucher

Publication date: 28 August 2018

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-00856471/file/JANCL2012-Camera-Ready.pdf

zbMATH Keywords

sequent calculusregressionbelief changedynamic epistemic logicepistemic planning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (11)

Multi-agent conformant planning with distributed knowledge ⋮ Generalized DEL-Sequents ⋮ To be announced ⋮ Epistemic planning: perspectives on the special issue ⋮ Unnamed Item ⋮ Refinement modal logic ⋮ Planning-based knowing how: a unified approach ⋮ DYNAMIC CONSEQUENCE AND PUBLIC ANNOUNCEMENT ⋮ Knowledge-based programs as succinct policies for partially observable domains ⋮ A dynamic epistemic framework for reasoning about conformant probabilistic plans ⋮ Dynamic Epistemic Logic as a Substructural Logic

Cites Work

• Unnamed Item
• Unnamed Item
• What will they say? -- Public announcement games
• Dynamic epistemic logic
• An internal version of epistemic logic
• Logics for epistemic programs
• Finite models constructed from canonical formulas
• Tableau Method and NEXPTIME-Completeness of DEL-Sequents
• Epistemic planning for single- and multi-agent systems
• Generalized DEL-Sequents
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• DEL Planning and Some Tractable Cases
• Dynamic logic for belief revision
• DEL-sequents for progression

This page was built for publication: DEL-sequents for regression and epistemic planning