Dynamic epistemic logic
From MaRDI portal
This is an excellent and much needed introduction to recent advances in the logic of knowledge change. The book consists of 8 chapters, the first of which gives a brief introduction. Chapter 2 introduces epistemic logic both semantically (by means of Kripke structures) and syntactically (by means of modal logic). Group notions of knowledge, in particular common knowledge, are also discussed. Chapter 3 deals with the AGM approach to belief revision. Chapter 4 gives a comprehensive account of a logic of knowledge with dynamic operators for truthful public announcements. Chapter 5 proceeds to a generalization of public announcement logic to more complex epistemic actions, while Chapter 6 is devoted to the action model approach to describing epistemic actions. Chapter 7 contains the proofs of completeness for the logics introduced in Chapters 2, 4 and 6. Chapter 8 discusses various results on the expressive power of the logics presented in the previous chapters. An attractive feature of this book is the multitude of illustrative examples.
Recommendations
Cited in
(only showing first 100 items - show all)- Majority merging by adaptive counting
- Extending probabilistic dynamic epistemic logic
- Interrogative belief revision in modal logic
- On the modal logic of Jeffrey conditionalization
- A complete coalition logic of temporal knowledge for multi-agent systems
- Let Us investigate! Dynamic conjecture-making as the formal logic of abduction
- Computation as social agency: what, how and who
- Resolving distributed knowledge
- Reflecting on social influence in networks
- Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief
- Rigged lotteries: a diachronic problem for reducing belief to credence
- Parameterized complexity of theory of mind reasoning in dynamic epistemic logic
- Dynamic epistemic logics of introspection
- Dynamic logic: a personal perspective
- Combinatorial bitstring semantics for arbitrary logical fragments
- Bilattice logic of epistemic actions and knowledge
- A dynamic solution to the problem of logical omniscience
- The dynamics of epistemic attitudes in resource-bounded agents
- Dynamic epistemic logics of diffusion and prediction in social networks
- The monodic fragment of propositional term modal logic
- Introspection as an action in relational models
- Changing types: information dynamics for qualitative type spaces
- A logic for diffusion in social networks
- A generalized proof-theoretic approach to logical argumentation based on hypersequents
- Event-based time-stamped claim logic
- Autoepistemic answer set programming
- Simple hyperintensional belief revision
- A logic for disjunctive ignorance
- Endogenizing epistemic actions
- Dynamic logic of legal competences
- A semantics for hyperintensional belief revision based on information bases
- Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics
- Adding proof calculi to epistemic logics with structured knowledge
- Formalized soundness and completeness of epistemic logic
- Wanted dead or alive: epistemic logic for impure simplicial complexes
- Dynamic coalition logic: granting and revoking dictatorial powers
- Crossing hands in the Russian cards problem
- Situated epistemic updates
- How knowledge triggers obligation. A dynamic logic of epistemic conditional obligation
- Complexity of finite-variable fragments of propositional temporal and modal logics of computation
- On inverse operators in dynamic epistemic logic
- Knowledge-based strategies for multi-agent teams playing against nature
- Awareness in logic and epistemology. A conceptual schema and logical study of the underlying main epistemic concepts
- Logics with group announcements and distributed knowledge: completeness and expressive power
- Non-strict interventionism: the case of right-nested counterfactuals
- A modal view on resource-bounded propositional logics
- Monitoring hyperproperties with circuits
- Embedding causal team languages into predicate logic
- A closeness- and priority-based logical study of social network creation
- The fundamental problem of logical omniscience
- DEL-based epistemic planning: decidability and complexity
- Arrow update synthesis
- Geodesic merging
- A four-valued dynamic epistemic logic
- Coalition and relativised group announcement logic
- Logics of imprecise comparative probability
- Generation and selection of abductive explanations for non-omniscient agents
- Quantum information versus epistemic logic: an analysis of the Frauchiger-Renner theorem
- Notational variance and its variants
- Intensional protocols for dynamic epistemic logic
- From oughts to goals: a logic for Enkrasia
- A family of graded epistemic logics
- Dynamic epistemic logic with communication actions
- Epistemic logics with structured knowledge
- Symposium: Logic and economics -- interactions between subjective thinking and objective worlds
- Evaluations of epistemic components for resolving the muddy children puzzle
- From single agent to multi-agent via hypersequents
- The undecidability of arbitrary arrow update logic
- A topological approach to full belief
- Bimodal logics with contingency and accident
- A logical study of group-size based social network creation
- Epistemic closure and commutative, nonassociative residuated structures
- Inference as doxastic agency. I: The basics of justification stit logic
- Graded epistemic logic with public announcement
- A logic for factive ignorance
- A logic for binary classifiers and their explanation
- Relevant epistemic logic with public announcements and common knowledge
- Complexity optimal decision procedure for a propositional dynamic logic with parallel composition
- Intuitionistic layered graph logic
- The dynamic turn in formal epistemology: the case of explanatory reasoning
- Reasoning about justified belief based on the fusion of evidence
- Bounded situation calculus action theories
- The surprise examination paradox in dynamic epistemic logic
- Axiomatization and completeness of lexicographic products of modal logics
- On interactive knowledge with bounded communication
- Composing models
- Updating knowledge using subsets
- A logic for extensional protocols
- Deceit and indefeasible knowledge: the case of dubitatio
- Knowing One’s Limits: An Analysis in Centered Dynamic Epistemic Logic
- Conditional epistemic planning
- Efficient program transformers for translating \(\mathsf {LCC}\) to \(\mathsf {PDL}\)
- Exponential-size model property for PDL with separating parallel composition
- Agency and Interaction What We Are and What We Do in Formal Epistemology
- Dynamic Epistemic Logic and Logical Omniscience
- From Situation Calculus to Dynamic Epistemic Logic
- Relating truth, knowledge and belief in epistemic states
- Announcements to attentive agents
- Learning in a changing world, an algebraic modal logical approach
- A modal framework for relating belief and signed information
This page was built for publication: Dynamic epistemic logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q953926)
