Dynamic epistemic logic
From MaRDI portal
Publication:953926
DOI10.1007/978-1-4020-5839-4zbMath1156.03015OpenAlexW2159131252MaRDI QIDQ953926
Wiebe van der Hoek, Barteld P. Kooi, Hans P. van Ditmarsch
Publication date: 7 November 2008
Published in: Synthese Library (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-1-4020-5839-4
modal logicknowledgebelief revisioncommon knowledgeepistemic logicbeliefdoxastic logicpublic announcementknowledge change
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02)
Related Items (only showing first 100 items - show all)
Invariance Properties of Quantifiers and Multiagent Information Exchange ⋮ Private Expansion and Revision in Multi-agent Settings ⋮ Justifications, Awareness and Epistemic Dynamics ⋮ Sabotage Modal Logic: Some Model and Proof Theoretic Aspects ⋮ A Note on Reliability-Based Preference Dynamics ⋮ A Poor Man’s Epistemic Logic Based on Propositional Assignment and Higher-Order Observation ⋮ Algebraic Semantics for Dynamic Dynamic Logic ⋮ Logic and Ethics: An Integrated Model for Norms, Intentions and Actions ⋮ Symbolic Model Checking for Dynamic Epistemic Logic ⋮ A Dynamic Epistemic Logic with a Knowability Principle ⋮ Terminating Tableaux for Dynamic Epistemic Logics ⋮ PRIORITY MERGE AND INTERSECTION MODALITIES ⋮ Beyond Lamport's Happened-before ⋮ CONDITIONAL BELIEFS: FROM NEIGHBOURHOOD SEMANTICS TO SEQUENT CALCULUS ⋮ Modelling phenomena and dynamic logic of phenomena ⋮ Public announcements, public assignments and the complexity of their logic ⋮ DEL-sequents for regression and epistemic planning ⋮ Exponential-Size Model Property for PDL with Separating Parallel Composition ⋮ Putting right the wording and the proof of the Truth Lemma forAPAL ⋮ A general framework for dynamic epistemic logic: towards canonical correspondences ⋮ Dynamic epistemic logics: promises, problems, shortcomings, and perspectives ⋮ Group Belief ⋮ Further Steps Towards a Logic of Polarization in Social Networks ⋮ ARROW UPDATE LOGIC ⋮ Categories for Dynamic Epistemic Logic ⋮ ERRATUM: "RATIONAL DYNAMICS AND EPISTEMIC LOGIC IN GAMES" ⋮ Agency and Interaction What We Are and What We Do in Formal Epistemology ⋮ From DEL to EDL: Exploring the Power of Converse Events ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Modelling Multi-Agent Epistemic Planning in ASP ⋮ Group Knowledge in Interrogative Epistemology ⋮ Topological Subset Space Models for Public Announcements ⋮ Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic ⋮ Hintikka’s Knowledge and Belief in Flux ⋮ Possible Worlds Semantics Based on Observation and Communication ⋮ Knowledge, Time, and Paradox: Introducing Sequential Epistemic Logic ⋮ Beyond Knowing That: A New Generation of Epistemic Logics ⋮ Epistemic Logic with Evidence and Relevant Alternatives ⋮ Talking About Knowledge ⋮ A Dynamic Logic of Interrogative Inquiry ⋮ Tracking Information ⋮ Principles Of Talmudic Logic ⋮ Relating Truth, Knowledge and Belief in Epistemic States ⋮ Doxastic logic: a new approach ⋮ A Hybrid Public Announcement Logic with Distributed Knowledge ⋮ ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’ ⋮ Logic programming for finding models in the logics of knowledge and its applications: A case study ⋮ Decisions, Actions, and Games: A Logical Perspective ⋮ Completeness Results for Memory Logics ⋮ Learning in a Changing World, an Algebraic Modal Logical Approach ⋮ Learning by Erasing in Dynamic Epistemic Logic ⋮ Conditional Probability Logic over Conditional Probability Spaces ⋮ Knowledge and Local Actions ⋮ Epistemic Informativeness ⋮ Channel Theoretic Reflections on Dynamic Logics of Speech Acts ⋮ Common Knowledge and the Knowledge Account of Assertion ⋮ Channels: From Logic to Probability ⋮ LOGIC AND TOPOLOGY FOR KNOWLEDGE, KNOWABILITY, AND BELIEF ⋮ A Modal Framework for Relating Belief and Signed Information ⋮ On the Definability of Simulability and Bisimilarity by Finite Epistemic Models ⋮ Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points ⋮ Observational Effort and Formally Open Mappings ⋮ Logical Dynamics of Evidence ⋮ Schematic Validity in Dynamic Epistemic Logic: Decidability ⋮ A Dynamic Logic of Knowledge, Graded Beliefs and Graded Goals and Its Application to Emotion Modelling ⋮ DEL Planning and Some Tractable Cases ⋮ Mathematics of Public Announcements ⋮ Logics of Belief over Weighted Structures ⋮ An Epistemic Logic with Hypotheses ⋮ On Axiomatizations of PAL ⋮ Public Announcement Logic with Distributed Knowledge ⋮ An Alternative Logic for Knowability ⋮ THE EXPRESSIVE POWER OF MEMORY LOGICS ⋮ Global and Local Graph Modifiers ⋮ DDL as an “Internalization” of Dynamic Belief Revision ⋮ Dynamic logic for belief revision ⋮ Dynamic logic of preference upgrade ⋮ Distributed knowledge ⋮ Axiomatization and Completeness of Lexicographic Products of Modal Logics ⋮ Taming the Complexity of Temporal Epistemic Reasoning ⋮ Epistemic Erotetic Search Scenarios ⋮ Unnamed Item ⋮ DYNAMIC HYPERINTENSIONAL BELIEF REVISION
This page was built for publication: Dynamic epistemic logic
