Dynamic logic for belief revision

DOI10.3166/jancl.17.129-155zbMath1186.03033OpenAlexW1973052685MaRDI QIDQ3647267

Publication date: 30 November 2009

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3166/jancl.17.129-155

zbMATH Keywords

belief revision compositionality dynamic epistemic logic conditional belief

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)

Related Items

Logics of informational interactions ⋮ Logics for belief as maximally plausible possibility ⋮ An automated method for building cognitive models for turn-based games from a strategy logic ⋮ On the modal logic of Jeffrey conditionalization ⋮ Contemporary epistemic logic and the Lockean thesis ⋮ Some remarks on the model theory of epistemic plausibility models ⋮ Rational choice and AGM belief revision ⋮ Private Expansion and Revision in Multi-agent Settings ⋮ Logics of Rational Interaction ⋮ Belief Update as Social Choice ⋮ A semantics for hyperintensional belief revision based on information bases ⋮ A Note on Reliability-Based Preference Dynamics ⋮ A General Framework for Modal Correspondence in Dynamic Epistemic Logic ⋮ Information gain and approaching true belief ⋮ On inverse operators in dynamic epistemic logic ⋮ Knowledge and approximations: a formal study under the perspective of information systems and rough set theory ⋮ Multi-agent justification logic: communication and evidence elimination ⋮ A Logic for Belief Contraction ⋮ THE EXPRESSIVITY OF FACTUAL CHANGE IN DYNAMIC EPISTEMIC LOGIC ⋮ The logic of empirical theories revisited ⋮ Belief revision and projection in the epistemic situation calculus ⋮ Dynamic doxastic logic: why, how, and where to? ⋮ Evidence and plausibility in neighborhood structures ⋮ Merging DEL and ETL ⋮ Global view on reactivity: switch graphs and their logics ⋮ Reasoning dynamically about what one says ⋮ The dynamics of awareness ⋮ Propositional Dynamic Logic as a Logic of Belief Revision ⋮ Belief change in branching time: AGM-consistency and iterated revision ⋮ A Qualitative Theory of Dynamic Interactive Belief Revision ⋮ Bisimulation for conditional modalities ⋮ Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief ⋮ Unnamed Item ⋮ On the epistemic foundation for iterated weak dominance: an analysis in a logic of individual and collective attitudes ⋮ Dynamic logics of evidence-based beliefs ⋮ An epistemic and dynamic approach to abductive reasoning: abductive problem and abductive solution ⋮ A new psychologism in logic? Reflections from the point of view of belief revision ⋮ Towards a ``sophisticated model of belief dynamics. I: The general framework ⋮ A DDL approach to pluralistic ignorance and collective belief ⋮ On axiomatizations of public announcement logic ⋮ Dynamics of lying ⋮ Transition semantics: the dynamics of dependence logic ⋮ Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic ⋮ Hintikka’s Knowledge and Belief in Flux ⋮ The cognitive structure of surprise: looking for basic principles ⋮ Beliefs in conditionals vs. conditional beliefs ⋮ A multi-agent depth bounded Boolean logic ⋮ A dynamic-logical perspective on quantum behavior ⋮ Inquisitive dynamic epistemic logic ⋮ Toward a dynamic logic of questions ⋮ Agreement theorems in dynamic-epistemic logic ⋮ Keep changing your beliefs, aiming for the truth ⋮ Preserving confidentiality while reacting on iterated queries and belief revisions ⋮ SOME COMPLETENESS THEOREMS IN THE DYNAMIC DOXASTIC LOGIC OF ITERATED BELIEF REVISION ⋮ A sketch of a dynamic epistemic semiring ⋮ Interrogative belief revision based on epistemic strategies ⋮ Awareness dynamics ⋮ Dynamic epistemic logic for implicit and explicit beliefs ⋮ Generation and selection of abductive explanations for non-omniscient agents ⋮ Action type deontic logic ⋮ 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 ⋮ A two-level perspective on preference ⋮ Iterated belief change in the situation calculus ⋮ McCarthy variations in a modal key ⋮ Belief extrapolation (or how to reason about observations and unpredicted change) ⋮ A dynamic-epistemic hybrid logic for intentions and information changes in strategic games ⋮ Logic of change, change of logic ⋮ Truth-tracking by belief revision ⋮ Introspection as an action in relational models ⋮ Finite identification from the viewpoint of epistemic update ⋮ Revocable belief revision ⋮ Modeling reasoning in a social setting ⋮ Von Wright's ``The logic of preference revisited ⋮ Decisions, Actions, and Games: A Logical Perspective ⋮ The modal logic of Bayesian belief revision ⋮ Dynamic preference logic meets iterated belief change: representation results and postulates characterization ⋮ Decidable subsets of open logic and an algorithm for R-calculus ⋮ Logical dynamics of belief change in the community ⋮ Pluralistic ignorance in the bystander effect: informational dynamics of unresponsive witnesses in situations calling for intervention ⋮ Towards a ``sophisticated model of belief dynamics. II: Belief revision ⋮ Diversity of agents and their interaction ⋮ A logic of plausible justifications ⋮ Comparative Approach to the Multi-Valued Logic Construction for Preferences ⋮ Simple hyperintensional belief revision ⋮ Announcement as effort on topological spaces ⋮ Justified Belief and the Topology of Evidence ⋮ LOGIC AND TOPOLOGY FOR KNOWLEDGE, KNOWABILITY, AND BELIEF ⋮ Rethinking epistemic logic with belief bases ⋮ A general multi-agent epistemic planner based on higher-order belief change ⋮ An action language for multi-agent domains ⋮ Probabilistic dynamic belief revision ⋮ Logical Dynamics of Evidence ⋮ A Dynamic Analysis of Interactive Rationality ⋮ Everything else being equal: a modal logic for ceteris paribus preferences ⋮ Inference and update ⋮ Keep `hoping' for rationality: a solution to the backward induction paradox ⋮ Merging frameworks for interaction ⋮ Reasoning about general preference relations ⋮ Toward a theory of play: a logical perspective on games and interaction ⋮ A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic ⋮ Reasoning About Trust and Belief Change on a Social Network: A Formal Approach ⋮ VOLUNTARY IMAGINATION: A FINE-GRAINED ANALYSIS ⋮ Modelling phenomena and dynamic logic of phenomena ⋮ DEL-sequents for regression and epistemic planning ⋮ A general framework for dynamic epistemic logic: towards canonical correspondences ⋮ Dynamic epistemic logics: promises, problems, shortcomings, and perspectives ⋮ CONDITIONAL LOGIC IS COMPLETE FOR CONVEXITY IN THE PLANE ⋮ A Qualitative Theory of Cognitive Attitudes and their Change ⋮ Cognitive Bias and Belief Revision ⋮ Two ways to scare a Gruffalo ⋮ Raising awareness without disclosing truth ⋮ Dynamic modal logic with counting: when reduction axioms work and fail ⋮ Dynamic epistemic logics for abstract argumentation ⋮ Tracking probabilistic truths: a logic for statistical learning ⋮ Unification of Modal Logic via Topological Categories ⋮ Revising the elenchus via belief revision ⋮ Unnamed Item ⋮ Structures of Oppositions in Public Announcement Logic ⋮ DYNAMIC CONSEQUENCE AND PUBLIC ANNOUNCEMENT ⋮ The effort of reasoning: modelling the inference steps of boundedly rational agents ⋮ Beliefs supported by binary arguments ⋮ DEL-sequents for progression ⋮ DEL-sequents for progression ⋮ Expressing Belief Flow in Assertion Networks ⋮ Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points ⋮ Segerberg on the Paradoxes of Introspective Belief Change ⋮ On Revocable and Irrevocable Belief Revision ⋮ DDL as an “Internalization” of Dynamic Belief Revision ⋮ Two Logical Faces of Belief Revision ⋮ Dynamic logic of preference upgrade ⋮ Dynamic Epistemic Logics ⋮ Logic and Learning ⋮ Logic and Probabilistic Update ⋮ Logic and Game Theory ⋮ Dynamic Epistemic Logic as a Substructural Logic ⋮ DYNAMIC HYPERINTENSIONAL BELIEF REVISION

Cites Work