Dynamic Epistemic Logic as a Substructural Logic

DOI10.1007/978-3-319-06025-5_33zbMATH Open1354.03011OpenAlexW2282413921MaRDI QIDQ5249692FDOQ5249692

Authors: 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

Recommendations

• Dynamic epistemic logics
• Dynamic epistemic logic
• scientific article; zbMATH DE number 1537935
• Substructural epistemic logics
• On a variant of dynamic-epistemic logic
• Dynamic epistemic logics: promises, problems, shortcomings, and perspectives
• A proof-theoretic semantic analysis of dynamic epistemic logic
• A dynamic informational-epistemic logic
• Dynamic epistemic logic for implicit and explicit beliefs
• A Dynamic Epistemic Logic with a Knowability Principle

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)

Cites Work

• The logic of public announcements, common knowledge, and private suspicions
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The semantics of entailment. II
• The semantics of entailment. III
• Logics for epistemic programs
• Knowledge in flux. Modeling the dynamics of epistemic states
• Logical dynamics of information and interaction
• Title not available (Why is that?)
• Dynamic logic for belief revision
• Title not available (Why is that?)
• Title not available (Why is that?)
• A qualitative theory of dynamic interactive belief revision
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Conditional doxastic models: a qualitative approach to dynamic belief revision
• Title not available (Why is that?)
• Handbook of philosophical logic. Vol. 7
• Logical pluralism
• Consistency Preservation and Crazy Formulas in BMS
• Quick completeness proofs for some logics of conditionals
• Title not available (Why is that?)
• Language in action. Categories, lambdas and dynamic logic
• Logical dynamics meets logical pluralism?
• Epistemic Actions as Resources
• Semantics for relevant logics
• Merging frameworks for interaction
• A knowledge based semantics of messages
• Prolegomena to dynamic logic for belief revision
• On the ternary relation and conditionality
• Title not available (Why is that?)
• DEL-sequents for regression and epistemic planning
• Relevant logic and the theory of information
• Exploring the power of converse events
• The logic of conditional doxastic actions
• Intelligent Agents and Multi-Agent Systems
• DEL-sequents for progression
• Title not available (Why is that?)
• Inference in action
• McCarthy variations in a modal key
• Algebra and sequent calculus for epistemic actions
• Completeness of weak implication
• GENERAL DYNAMICS
• From Situation Calculus to Dynamic Epistemic Logic
• Title not available (Why is that?)
• Dynamic epistemic logic in update logic
• Generalized DEL-Sequents

Cited In (11)

• Displaying updates in logic
• A Dynamic Epistemic Logic with a Knowability Principle
• Schematic Validity in Dynamic Epistemic Logic: Decidability
• Tracking Information
• Substructural epistemic logics
• From Situation Calculus to Dynamic Epistemic Logic
• Special issue on substructural logic and information dynamics: introduction
• Dynamic epistemic logic in update logic
• Epistemic extensions of modal distributive substructural logics
• Intricate axioms as interaction axioms
• A substructural epistemic resource logic: theory and modelling applications

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

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