Generalized DEL-Sequents

DOI10.1007/978-3-642-33353-8_5zbMath1361.68217OpenAlexW2172700246MaRDI QIDQ2915058

Guillaume Aucher, François Schwarzentruber, Bastien Maubert

Publication date: 21 September 2012

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.971.9661

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

Related Items (3)

A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic ⋮ DEL-sequents for regression and epistemic planning ⋮ Dynamic Epistemic Logic as a Substructural Logic

Uses Software

• Lotrecscheme

Cites Work

• Unnamed Item
• Unnamed Item
• Belief extrapolation (or how to reason about observations and unpredicted change)
• An internal version of epistemic logic
• A spectrum of definitions for temporal model-based diagnosis
• Logics for epistemic programs
• Tableau Method and NEXPTIME-Completeness of DEL-Sequents
• LotrecScheme
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• Terminating Tableaux for Dynamic Epistemic Logics
• Tableaux for Public Announcement Logic
• Reconstructing an Agent's Epistemic State from Observations about its Beliefs and Non-beliefs
• DEL-sequents for regression and epistemic planning

This page was built for publication: Generalized DEL-Sequents