Dynamic Epistemic Logic as a Substructural Logic

DOI10.1007/978-3-319-06025-5_33zbMath1354.03011OpenAlexW2282413921MaRDI QIDQ5249692

Guillaume Aucher

Publication date: 11 May 2015

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01098793/file/Aucher2014.pdf

zbMATH Keywords

dynamic epistemic logicternary semanticstwo-sorted substructural 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)

Related Items (3)

Substructural epistemic logics ⋮ Tracking Information ⋮ Intricate axioms as interaction axioms

Cites Work

• On the ternary relation and conditionality
• McCarthy variations in a modal key
• Quick completeness proofs for some logics of conditionals
• Prolegomena to dynamic logic for belief revision
• Merging frameworks for interaction
• Language in action. Categories, lambdas and dynamic logic
• The semantics of entailment. II
• The semantics of entailment. III
• Relevant logic and the theory of information
• A knowledge based semantics of messages
• Handbook of philosophical logic. Vol. 7
• Logics for epistemic programs
• Exploring the Power of Converse Events
• Generalized DEL-Sequents
• Dynamic epistemic logic in update logic
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• From Situation Calculus to Dynamic Epistemic Logic
• Logical Dynamics of Information and Interaction
• Consistency Preservation and Crazy Formulas in BMS
• Dynamic logic for belief revision
• GENERAL DYNAMICS
• DEL-sequents for regression and epistemic planning
• Logical Pluralism
• Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision
• Intelligent Agents and Multi-Agent Systems
• Epistemic Actions as Resources
• Completeness of weak implication
• Semantics for relevant logics
• DEL-sequents for progression
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Dynamic Epistemic Logic as a Substructural Logic