Dynamic Epistemic Logic and Knowledge Puzzles
From MaRDI portal
Publication:3608740
DOI10.1007/978-3-540-73681-3_4zbMATH Open1156.03320OpenAlexW2165167529MaRDI QIDQ3608740FDOQ3608740
Wiebe van der Hoek, Barteld Kooi, Hans van Ditmarsch
Publication date: 6 March 2009
Published in: Conceptual Structures: Knowledge Architectures for Smart Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-73681-3_4
Recommendations
Knowledge representation (68T30) Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27)
Cited In (only showing first 100 items - show all)
- Evidence and plausibility in neighborhood structures
- Logical omniscience as infeasibility
- Algebraic semantics and model completeness for intuitionistic public announcement logic
- Public and private communication are different: Results on relative expressivity
- Inference and update
- Temporal languages for epistemic programs
- On the use (and abuse) of logic in game theory
- Completeness results for memory logics
- Dynamics we can believe in: a view from the Amsterdam school on the centenary of Evert Willem Beth
- Logic in general philosophy of science: Old things and new things
- McCarthy variations in a modal key
- Local properties in modal logic
- Everything else being equal: a modal logic for ceteris paribus preferences
- The information in intuitionistic logic
- Incorporating Action Models into the Situation Calculus
- Exploring the Power of Converse Events
- On the dynamics of institutional agreements
- Iterated belief change in the situation calculus
- A logic of separating modalities
- Bridging learning theory and dynamic epistemic logic
- Merging frameworks for interaction
- Dynamic epistemic logic for implicit and explicit beliefs
- Iterative information update and stability of strategies
- Contemporary epistemic logic and the Lockean thesis
- The undecidability of quantified announcements
- Contraction, Revision, Expansion: Representing Belief Change Operations
- Refinement modal logic
- Agreeing to disagree in probabilistic dynamic epistemic~logic
- On axiomatizations of public announcement logic
- Dynamic update with probabilities
- A logic for reasoning about counterfactual emotions
- Time and defeasibility in FIPA ACL semantics
- AGM 25 years. Twenty-five years of research in belief change
- Group announcement logic
- Two Logical Faces of Belief Revision
- Structures of Oppositions in Public Announcement Logic
- Arbitrary arrow update logic
- A DDL approach to pluralistic ignorance and collective belief
- Exploring the tractability border in epistemic tasks
- Public announcement logic with distributed knowledge: expressivity, completeness and complexity
- Some topological properties of paraconsistent models
- Playing cards with Hintikka: an introduction to dynamic epistemic logic
- What will they say? -- Public announcement games
- Agreement theorems in dynamic-epistemic logic
- Revising beliefs towards the truth
- Logic and social cognition. The facts matter, and so do computational models
- On the succinctness of some modal logics
- A dynamic-epistemic hybrid logic for intentions and information changes in strategic games
- Epistemic logic for rule-based agents
- Dynamic epistemic logic with branching temporal structures
- Epistemic protocols for dynamic gossip
- Duhem's problem revisited: logical versus epistemic formulations and solutions
- Dynamic Epistemic Logic and Temporal Modality
- Knowledge forgetting: properties and applications
- A formal model of emotion triggers: an approach for BDI agents
- Action emulation
- Multi-agent justification logic: communication and evidence elimination
- Rethinking epistemic logic with belief bases
- An Epistemic Separation Logic
- Von Wright's ``The logic of preference revisited
- Dynamics of lying
- Hidden protocols: modifying our expectations in an evolving world
- The interrogative model of inquiry meets dynamic epistemic logics
- Merging DEL and ETL
- Awareness dynamics
- How much does it help to know what she knows you know? An agent-based simulation study
- Title not available (Why is that?)
- From KLM-style conditionals to defeasible modalities, and back
- Logics of Rational Interaction
- A four-valued dynamic epistemic logic
- A public announcement separation logic
- Verification of dynamic bisimulation theorems in Coq
- Predicate change. A study on the conservativity of conceptual change
- Logics for belief as maximally plausible possibility
- The modal logic of copy and remove
- Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems
- Sum and Product in Dynamic Epistemic Logic
- Conditioning and interpretation shifts
- Belief Update as Social Choice
- Modeling reasoning in a social setting
- An update logic for information systems
- A sketch of a dynamic epistemic semiring
- Finite identification from the viewpoint of epistemic update
- An epistemic and dynamic approach to abductive reasoning: abductive problem and abductive solution
- Logic and Probabilistic Update
- Truth-tracking by belief revision
- Manipulating games by sharing information
- Knowing One’s Limits: An Analysis in Centered Dynamic Epistemic Logic
- A logic of situated resource-bounded agents
- Diversity of agents and their interaction
- Dynamic Epistemic Logic and Logical Omniscience
- Private announcements on topological spaces
- An action language for multi-agent domains
- Automata for epistemic temporal logic with synchronous communication
- A logic of plausible justifications
- Dynamic logics of knowledge and access
- Logical dynamics of some speech acts that affect obligations and preferences
- A history based approximate epistemic action theory for efficient postdictive reasoning
- Relativized common knowledge for dynamic epistemic logic
- Completeness theorems for reactive modal logics
This page was built for publication: Dynamic Epistemic Logic and Knowledge Puzzles
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3608740)
