Dynamic epistemic logic
From MaRDI portal
Publication:953926
DOI10.1007/978-1-4020-5839-4zbMath1156.03015MaRDI 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 logic; knowledge; belief revision; common knowledge; epistemic logic; belief; doxastic logic; public announcement; knowledge change
03B45: Modal logic (including the logic of norms)
68T27: Logic in artificial intelligence
03B42: Logics of knowledge and belief (including belief change)
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
Related Items
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, 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, Doxastic logic: a new approach, 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, A Hybrid Public Announcement Logic with Distributed Knowledge, Global and Local Graph Modifiers, DDL as an “Internalization” of Dynamic Belief Revision, Unnamed Item, DYNAMIC HYPERINTENSIONAL BELIEF REVISION, PRIORITY MERGE AND INTERSECTION MODALITIES, Group Belief, Further Steps Towards a Logic of Polarization in Social Networks, Modelling Multi-Agent Epistemic Planning in ASP, 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, Exponential-Size Model Property for PDL with Separating Parallel Composition, Agency and Interaction What We Are and What We Do in Formal Epistemology, Relating Truth, Knowledge and Belief in Epistemic States, Learning in a Changing World, an Algebraic Modal Logical Approach, A Modal Framework for Relating Belief and Signed Information, On the Definability of Simulability and Bisimilarity by Finite Epistemic Models, 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, Epistemic Erotetic Search Scenarios, Invariance Properties of Quantifiers and Multiagent Information Exchange, Terminating Tableaux for Dynamic Epistemic Logics, Beyond Lamport's Happened-before, ARROW UPDATE LOGIC, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, 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, LOGIC AND TOPOLOGY FOR KNOWLEDGE, KNOWABILITY, AND BELIEF, 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, Categories for Dynamic Epistemic Logic, ERRATUM: "RATIONAL DYNAMICS AND EPISTEMIC LOGIC IN GAMES", From DEL to EDL: Exploring the Power of Converse Events, ‘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 by Erasing in Dynamic Epistemic Logic, Channels: From Logic to Probability, Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points, Observational Effort and Formally Open Mappings, 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, DYNAMIC GRADED EPISTEMIC LOGIC, Knowing Values and Public Inspection, Dynamic Epistemic Logics, Temporal Aspects of the Dynamics of Knowledge, Logic and Complexity in Cognitive Science, Towards a Bayesian Theory of Second-Order Uncertainty: Lessons from Non-Standard Logics, Inter-Model Connectives and Substructural Logics, A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic, THE LOGIC OF JOINT ABILITY IN TWO-PLAYER TACIT GAMES, Refinement of Kripke Models for Dynamics, Resource separation in dynamic logic of propositional assignments, DEL-sequents for progression, DEL-sequents for progression, The epistemology of nondeterminism, The effort of reasoning: modelling the inference steps of boundedly rational agents, To be announced, A logic of ``black box classifier systems, METRICS FOR FORMAL STRUCTURES, WITH AN APPLICATION TO KRIPKE MODELS AND THEIR DYNAMICS, Logic of visibility in social networks, Non-monotonic reasoning via dynamic consequence, Bounded situation calculus action theories, Announcements to attentive agents, A generalization of inquisitive semantics, Belief change in branching time: AGM-consistency and iterated revision, Propositional dynamic logic for searching games with errors, Information dynamics and uniform substitution, Rethinking common belief, revision, and backward induction, Syntactic awareness in logical dynamics, Inquisitive dynamic epistemic logic, Logics of temporal-epistemic actions, The language of social software, Logic for update products and steps into the past, A simple modal logic for belief revision, Quantified temporal alethic boulesic doxastic logic, Rational choice and AGM belief revision, Logic and reasoning: do the facts matter?, Using hybrid logic for coping with functions in subset spaces, Majority merging by adaptive counting, 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, 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, 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, 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, Reasoning About Justified Belief Based on the Fusion of Evidence, 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, Conditional Epistemic Planning, Efficient Program Transformers for Translating LCC to PDL
