Dynamic Epistemic Logic as a Substructural Logic
From MaRDI portal
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
Cites work
- A knowledge based semantics of messages
- A qualitative theory of dynamic interactive belief revision
- Algebra and sequent calculus for epistemic actions
- Completeness of weak implication
- Conditional doxastic models: a qualitative approach to dynamic belief revision
- Consistency Preservation and Crazy Formulas in BMS
- DEL-sequents for progression
- DEL-sequents for regression and epistemic planning
- Dynamic epistemic logic in update logic
- Dynamic logic for belief revision
- Epistemic Actions as Resources
- Exploring the power of converse events
- From Situation Calculus to Dynamic Epistemic Logic
- GENERAL DYNAMICS
- Generalized DEL-Sequents
- Handbook of philosophical logic. Vol. 7
- scientific article; zbMATH DE number 5836323 (Why is no real title available?)
- scientific article; zbMATH DE number 986406 (Why is no real title available?)
- scientific article; zbMATH DE number 3926879 (Why is no real title available?)
- scientific article; zbMATH DE number 3496100 (Why is no real title available?)
- scientific article; zbMATH DE number 1333625 (Why is no real title available?)
- scientific article; zbMATH DE number 549967 (Why is no real title available?)
- scientific article; zbMATH DE number 1749198 (Why is no real title available?)
- scientific article; zbMATH DE number 1852914 (Why is no real title available?)
- scientific article; zbMATH DE number 1852922 (Why is no real title available?)
- scientific article; zbMATH DE number 1907195 (Why is no real title available?)
- scientific article; zbMATH DE number 783780 (Why is no real title available?)
- scientific article; zbMATH DE number 795590 (Why is no real title available?)
- scientific article; zbMATH DE number 972605 (Why is no real title available?)
- scientific article; zbMATH DE number 2239772 (Why is no real title available?)
- Inference in action
- Intelligent Agents and Multi-Agent Systems
- Knowledge in flux. Modeling the dynamics of epistemic states
- Language in action. Categories, lambdas and dynamic logic
- Logical dynamics meets logical pluralism?
- Logical dynamics of information and interaction
- Logical pluralism
- Logics for epistemic programs
- McCarthy variations in a modal key
- Merging frameworks for interaction
- On the ternary relation and conditionality
- Prolegomena to dynamic logic for belief revision
- Quick completeness proofs for some logics of conditionals
- Relevant logic and the theory of information
- Semantics for relevant logics
- The logic of conditional doxastic actions
- The logic of public announcements, common knowledge, and private suspicions
- The semantics of entailment. II
- The semantics of entailment. III
Cited in
(12)- Special issue on substructural logic and information dynamics: introduction
- Epistemic extensions of modal distributive substructural logics
- Displaying updates in logic
- Dynamic epistemic logic in update logic
- From Situation Calculus to Dynamic Epistemic Logic
- Schematic Validity in Dynamic Epistemic Logic: Decidability
- Tracking information
- A Dynamic Epistemic Logic with a Knowability Principle
- Substructural epistemic logics
- Intricate axioms as interaction axioms
- A substructural epistemic resource logic: theory and modelling applications
- Relational patterns, partiality, and set lifting in modal semantics
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)
