Generalized DEL-Sequents

DOI10.1007/978-3-642-33353-8_5MaRDI QIDQ2915058zbMATH OpenOpenAlexFDO

Authors Guillaume Aucher, Bastien Maubert, François Schwarzentruber

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

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

Recommendations

• DEL-sequents for progression
• scientific article; zbMATH DE number 1252393
• Constructing sequent rules for generalized propositional logics
• Gentzen-style sequent calculus for semi-intuitionistic logic
• Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus
• Kleene's Logic, Generalized
• scientific article; zbMATH DE number 1453079
• A Gentzen-style sequent calculus of constructions with expansion rules
• scientific article; zbMATH DE number 67452
• scientific article; zbMATH DE number 3956467

Cites work

• A spectrum of definitions for temporal model-based diagnosis
• Algebra and sequent calculus for epistemic actions
• An internal version of epistemic logic
• Belief extrapolation (or how to reason about observations and unpredicted change)
• DEL-sequents for regression and epistemic planning
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• Logics for epistemic programs
• LotrecScheme
• Reconstructing an Agent's Epistemic State from Observations about its Beliefs and Non-beliefs
• Tableau method and NEXPTIME-completeness of DEL-sequents
• Tableaux for Public Announcement Logic
• Terminating tableaux for dynamic epistemic logics
• The logic of public announcements, common knowledge, and private suspicions

Cited in

(5)

• DEL-sequents for regression and epistemic planning
• Dynamic Epistemic Logic as a Substructural Logic
• A cut-free labelled sequent calculus for dynamic epistemic logic
• DEL-sequents for progression
• A proof-theoretic approach to formal epistemology

Describes a project that uses

Uses Software

• Lotrecscheme

This page was built for publication: Generalized DEL-Sequents

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2915058)