Dynamic Epistemic Logic and Knowledge Puzzles
From MaRDI portal
Publication:3608740
DOI10.1007/978-3-540-73681-3_4zbMath1156.03320OpenAlexW2165167529MaRDI QIDQ3608740
Wiebe van der Hoek, Barteld P. Kooi, Hans P. 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
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)
Related Items (only showing first 100 items - show all)
On the use (and abuse) of logic in game theory ⋮ Predicate change. A study on the conservativity of conceptual change ⋮ Logics for belief as maximally plausible possibility ⋮ The information in intuitionistic logic ⋮ A logic of separating modalities ⋮ Contemporary epistemic logic and the Lockean thesis ⋮ Logic and social cognition. The facts matter, and so do computational models ⋮ Logical theories of intention and the database perspective ⋮ The undecidability of quantified announcements ⋮ Private announcements on topological spaces ⋮ Arbitrary arrow update logic ⋮ On the succinctness of some modal logics ⋮ Multi-agent justification logic: communication and evidence elimination ⋮ A formal model of emotion triggers: an approach for BDI agents ⋮ Action emulation ⋮ Belief revision and projection in the epistemic situation calculus ⋮ On the logic of balance in social networks ⋮ Logical omniscience as infeasibility ⋮ Evidence and plausibility in neighborhood structures ⋮ Algebraic semantics and model completeness for intuitionistic public announcement logic ⋮ Merging DEL and ETL ⋮ Automata for epistemic temporal logic with synchronous communication ⋮ Completeness theorems for reactive modal logics ⋮ A history based approximate epistemic action theory for efficient postdictive reasoning ⋮ Completeness results for memory logics ⋮ Dynamic logics of knowledge and access ⋮ Relativized common knowledge for dynamic epistemic logic ⋮ The many faces of closure and introspection. An ineractive perspective ⋮ At least not false, at most possible: between truth and assertibility of superlative quantifiers ⋮ A history based logic for dynamic preference updates ⋮ Compositional natural language semantics using independence friendly logic or dependence logic ⋮ Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems ⋮ Dynamic term-modal logics for first-order epistemic planning ⋮ Time and defeasibility in FIPA ACL semantics ⋮ Reasoning about permitted announcements ⋮ Where logic and agents meet ⋮ Refinement modal logic ⋮ A four-valued dynamic epistemic logic ⋮ A DDL approach to pluralistic ignorance and collective belief ⋮ Some topological properties of paraconsistent models ⋮ On axiomatizations of public announcement logic ⋮ Public announcement logic with distributed knowledge: expressivity, completeness and complexity ⋮ Exploring the tractability border in epistemic tasks ⋮ Agreeing to disagree in probabilistic dynamic epistemic~logic ⋮ Dynamics of lying ⋮ Hidden protocols: modifying our expectations in an evolving world ⋮ A multi-agent depth bounded Boolean logic ⋮ Game description language and dynamic epistemic logic compared ⋮ Epistemic protocols for dynamic gossip ⋮ On a logico-algebraic approach to AGM belief contraction theory ⋮ A simple logic of functional dependence ⋮ The interrogative model of inquiry meets dynamic epistemic logics ⋮ Agreement theorems in dynamic-epistemic logic ⋮ Revising beliefs towards the truth ⋮ A sketch of a dynamic epistemic semiring ⋮ Conditioning and interpretation shifts ⋮ AGM 25 years. Twenty-five years of research in belief change ⋮ Local properties in modal logic ⋮ Awareness dynamics ⋮ Dynamic epistemic logic for implicit and explicit beliefs ⋮ Logic in general philosophy of science: Old things and new things ⋮ Dynamics we can believe in: a view from the Amsterdam school on the centenary of Evert Willem Beth ⋮ Iterative information update and stability of strategies ⋮ What will they say? -- Public announcement games ⋮ Iterated belief change in the situation calculus ⋮ McCarthy variations in a modal key ⋮ A logic for reasoning about counterfactual emotions ⋮ A dynamic-epistemic hybrid logic for intentions and information changes in strategic games ⋮ On the dynamics of institutional agreements ⋮ Truth-tracking by belief revision ⋮ Finite identification from the viewpoint of epistemic update ⋮ Group announcement logic ⋮ Logic and games: an introduction ⋮ Modeling reasoning in a social setting ⋮ Manipulating games by sharing information ⋮ Recapturing dynamic logic of relation changers via bounded morphisms ⋮ Von Wright's ``The logic of preference revisited ⋮ A simplicial complex model for dynamic epistemic logic to study distributed task computability ⋮ The modal logic of Bayesian belief revision ⋮ Verification of dynamic bisimulation theorems in Coq ⋮ Epistemic logic for rule-based agents ⋮ Diversity of agents and their interaction ⋮ A logic of situated resource-bounded agents ⋮ A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks ⋮ A logic of plausible justifications ⋮ Regression and progression in stochastic domains ⋮ A general multi-agent epistemic planner based on higher-order belief change ⋮ An action language for multi-agent domains ⋮ Efficient multi-agent epistemic planning: teaching planners about nested belief ⋮ Logical dynamics of some speech acts that affect obligations and preferences ⋮ Public and private communication are different: Results on relative expressivity ⋮ Everything else being equal: a modal logic for ceteris paribus preferences ⋮ Dynamic update with probabilities ⋮ Bridging learning theory and dynamic epistemic logic ⋮ Determining the environment: a modal logic for closed interaction ⋮ Dynamic epistemic logic with branching temporal structures ⋮ Inference and update ⋮ Merging frameworks for interaction ⋮ Knowledge forgetting: properties and applications ⋮ Verification of multi-agent systems with public actions against strategy logic
This page was built for publication: Dynamic Epistemic Logic and Knowledge Puzzles
