Dynamic epistemic logic in update logic

DOI10.1093/LOGCOM/EXW002MaRDI QIDQ2957972zbMATH OpenOpenAlexFDO

Authors Guillaume Aucher

Publication date 31 January 2017

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/hal-01476249/file/JLC2016CameraReadyPart2.pdf

zbMATH Keywords

dynamic epistemic logicsequent calculusupdate logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• Dynamic Epistemic Logic as a Substructural Logic
• scientific article; zbMATH DE number 1537935
• Dynamic Epistemic Logic and Knowledge Puzzles
• General dynamic dynamic logic
• A cut-free labelled sequent calculus for dynamic epistemic logic

Cited in

(25)

• Expedition in the update universe
• Situated epistemic updates
• First degree entailment with group attitudes and information updates
• Delegated updates in epistemic graphs for opponent modelling
• Special issue on substructural logic and information dynamics: introduction
• Displaying updates in logic
• Categories for dynamic epistemic logic
• Probabilistic Epistemic Updates on Algebras
• From DEL to EDL: Exploring the Power of Converse Events
• Dynamic Epistemic Logic and Knowledge Puzzles
• Learning by Erasing in Dynamic Epistemic Logic
• Updating Epistemic Logic Programs
• scientific article; zbMATH DE number 1537935 (Why is no real title available?)
• DEL-sequents for regression and epistemic planning
• A general framework for dynamic epistemic logic: towards canonical correspondences
• Probabilistic Epistemic Updates on Algebras
• A cut-free labelled sequent calculus for dynamic epistemic logic
• Dynamic Epistemic Logic as a Substructural Logic
• A cut-free labelled sequent calculus for dynamic epistemic logic
• General dynamic dynamic logic
• DEL-sequents for progression
• To be announced
• A reduction-based cut-free Gentzen calculus for dynamic epistemic logic
• Logic for update products and steps into the past
• \textit{De re} updates

This page was built for publication: Dynamic epistemic logic in update logic

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