Dynamic epistemic logics: promises, problems, shortcomings, and perspectives
From MaRDI portal
Recommendations
Cites work
- A composable language for action models
- A poor man's epistemic logic based on propositional assignment and higher-order observation
- Agents that look at one another
- AGM 25 years. Twenty-five years of research in belief change
- Announcements to attentive agents
- Arrow update logic
- Composing models
- Consistency Preservation and Crazy Formulas in BMS
- Descriptions of game actions
- Dynamic epistemic logic
- Dynamic logic for belief revision
- Epistemology without knowledge and without belief
- Expressivity and completeness for public update logics via reduction axioms
- From Situation Calculus to Dynamic Epistemic Logic
- Global and local graph modifiers
- How to share knowledge by gossiping
- scientific article; zbMATH DE number 3616386 (Why is no real title available?)
- scientific article; zbMATH DE number 1269568 (Why is no real title available?)
- scientific article; zbMATH DE number 1537944 (Why is no real title available?)
- scientific article; zbMATH DE number 1820675 (Why is no real title available?)
- scientific article; zbMATH DE number 5064947 (Why is no real title available?)
- Intelligent Agents and Multi-Agent Systems
- Knowledge in multiagent systems: initial configurations and broadcast
- Logics for epistemic programs
- Logics of communication and change
- Logics of public communications
- Many-dimensional modal logics: theory and applications
- McCarthy variations in a modal key
- On axiomatizations of public announcement logic
- On the logic of theory change: Partial meet contraction and revision functions
- Parallel interpolation, splitting, and relevance in belief change
- Playing cards with Hintikka: an introduction to dynamic epistemic logic
- Prolegomena to dynamic logic for belief revision
- Ramification and causality
- Reasoning about information change
- Some truths are best left unsaid
- STRIPS: A new approach to the application of theorem proving to problem solving
- Symbolic Model Checking for Dynamic Epistemic Logic
- The logic of public announcements, common knowledge, and private suspicions
Cited in
(29)- Diversity of agents and their interaction
- Extending probabilistic dynamic epistemic logic
- A dynamic informational-epistemic logic
- Dynamic epistemic logics of introspection
- Dynamic preference logic meets iterated belief change: representation results and postulates characterization
- Expedition in the update universe
- A four-valued dynamic epistemic logic
- Epistemic logics with structured knowledge
- The dynamic turn in formal epistemology: the case of explanatory reasoning
- Knowing One’s Limits: An Analysis in Centered Dynamic Epistemic Logic
- From Situation Calculus to Dynamic Epistemic Logic
- Schematic Validity in Dynamic Epistemic Logic: Decidability
- Terminating tableaux for dynamic epistemic logics
- Hintikka's knowledge and belief in flux
- On a variant of dynamic-epistemic logic
- Dynamic logics for explicit and implicit information
- scientific article; zbMATH DE number 1759365 (Why is no real title available?)
- Knowledge in action: logico-philosophical approach to linguistic evidentiality
- Reasoning about epistemic social network dynamics using dynamic term-modal logic
- The dynamic epistemic logic for actual knowledge
- Knowledge and local actions
- Dynamic epistemic logics
- Dynamic Epistemic Logic as a Substructural Logic
- Playing cards with Hintikka: an introduction to dynamic epistemic logic
- Dynamics we can believe in: a view from the Amsterdam school on the centenary of Evert Willem Beth
- Open problems in logical dynamics
- Minimizing agents' state corruption resulting from leak-free epistemic communication modeling
- Dynamic doxastic logic: why, how, and where to?
- Dynamic epistemic logic
This page was built for publication: Dynamic epistemic logics: promises, problems, shortcomings, and perspectives
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4586238)
