Dynamic Epistemic Logic and Knowledge Puzzles

DOI10.1007/978-3-540-73681-3_4zbMATH Open1156.03320OpenAlexW2165167529MaRDI QIDQ3608740FDOQ3608740

Authors: Wiebe van der Hoek, Hans van Ditmarsch, Barteld Kooi 

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

• Sum and Product in Dynamic Epistemic Logic
• Probabilistic dynamic epistemic logic
• Playing cards with Hintikka: an introduction to dynamic epistemic logic
• Dynamic epistemic logic in update logic
• Dynamic epistemic logic

zbMATH Keywords

belief revisiondynamic epistemic logicepistemic logicmultiagent systems

Mathematics Subject Classification ID

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)

• Title not available (Why is that?)
• From KLM-style conditionals to defeasible modalities, and back
• 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
• 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
• 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
• Logic and probabilistic update
• 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
• Determining the environment: a modal logic for closed interaction
• Reasoning about permitted announcements
• On a logico-algebraic approach to AGM belief contraction theory
• Compositional natural language semantics using independence friendly logic or dependence logic
• Logical theories of intention and the database perspective
• Comments to `Logics of public communications'
• A qualitative theory of dynamic interactive belief revision
• A dynamic epistemic logic analysis of the equality negation task
• Belief revision and projection in the epistemic situation calculus
• Substantive assumptions in interaction: a logical perspective
• The many faces of closure and introspection. An ineractive perspective
• Logics of rational interaction
• Verification of multi-agent systems with public actions against strategy logic
• The surprise examination paradox in dynamic epistemic logic
• A history based logic for dynamic preference updates
• The modal logic of Bayesian belief revision
• Situated Modeling of Epistemic Puzzles
• Where logic and agents meet
• Belief update as social choice
• A dynamic logic for learning theory
• At least not false, at most possible: between truth and assertibility of superlative quantifiers
• The logic of fast and slow thinking
• A dynamic epistemic framework for reasoning about conformant probabilistic plans
• A temporal logic for successive events
• Epistemic monadic Boolean algebras
• Of temporary coalitions in terms of concurrent game models, announcements, and temporal projection
• Simulative belief logic
• Tracking probabilistic truths: a logic for statistical learning
• Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs
• Mathematical arguments and distributed knowledge
• A Dynamic Epistemic Logic with a Knowability Principle
• Logic and games: an introduction
• Recapturing dynamic logic of relation changers via bounded morphisms
• Formal semantics of a dynamic epistemic logic for describing knowledge properties of \(\pi \)-calculus processes
• A simplicial complex model for dynamic epistemic logic to study distributed task computability
• On Topologically Relevant Fragments of the Logic of Linear Flows of Time
• Realizing public announcements by justifications
• A simple logic of functional dependence
• A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks
• Game description language and dynamic epistemic logic compared
• Beliefs supported by binary arguments
• A multi-agent depth bounded Boolean logic
• Dynamic epistemic logic in update logic
• A general multi-agent epistemic planner based on higher-order belief change
• Efficient multi-agent epistemic planning: teaching planners about nested belief
• The logic of framing effects
• On the logic of balance in social networks
• Dynamic term-modal logics for first-order epistemic planning
• On the progression of belief
• Copy and remove as dynamic operators
• Regression and progression in stochastic domains
• Knowledge, time, and paradox: introducing sequential epistemic logic
• A logical approach to doxastic causal reasoning
• Evidence and plausibility in neighborhood structures
• Logical omniscience as infeasibility
• Algebraic semantics and model completeness for intuitionistic public announcement logic
• Structures of oppositions in 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

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)