Prolegomena to dynamic logic for belief revision
From MaRDI portal
Publication:813422
DOI10.1007/S11229-005-1349-7zbMATH Open1082.03014OpenAlexW2058814709MaRDI QIDQ813422FDOQ813422
Authors: Hans van Ditmarsch 
Publication date: 8 February 2006
Published in: Synthese (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11229-005-1349-7
Recommendations
Other nonclassical logic (03B60) Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27)
Cites Work
- Cheating husbands and other stories: A case study of knowledge, action, and communication
- Reasoning about information change
- The logic of public announcements, common knowledge, and private suspicions
- The secret of my success
- Two modellings for theory change
- Nonmonotonic reasoning, preferential models and cumulative logics
- On the logic of theory change: Partial meet contraction and revision functions
- Logics for epistemic programs
- Title not available (Why is that?)
- On the logic of iterated belief revision
- Merging Information Under Constraints: A Logical Framework
- Dynamic interactive epistemology
- Basic infobase change
- Intelligent Agents and Multi-Agent Systems
- A simple modal logic for belief revision
- DDL unlimited: Dynamic doxastic logic for introspective agents
- Default logic as dynamic doxastic logic
- Descriptions of game actions
- Refined epistemic entrenchment
- Title not available (Why is that?)
- Title not available (Why is that?)
- A formal model of multi-agent belief-interaction
Cited In (95)
- Title not available (Why is that?)
- Deceit and indefeasible knowledge: the case of dubitatio
- An epistemic and dynamic approach to abductive reasoning: abductive problem and abductive solution
- Truth-tracking by belief revision
- DYNAMIC GRADED EPISTEMIC LOGIC
- Type-theoretical dynamics exploring belief revision in a constructive framework
- Propositional logic based on the dynamics of belief
- A Qualitative Theory of Cognitive Attitudes and their Change
- Title not available (Why is that?)
- Equivalent beliefs in dynamic doxastic logic
- Simple hyperintensional belief revision
- The logic of hyperlogic. Part B: Extensions and restrictions
- On distances between KD45\(_n\) Kripke models and their use for belief revision
- Communication among agents: a way to revise beliefs in KD45 Kripke structures
- Private expansion and revision in multi-agent settings
- Logic and topology for knowledge, knowability, and belief
- Logic and topology for knowledge, knowability, and belief. Extended abstract
- Playing cards with Hintikka: an introduction to dynamic epistemic logic
- A sound and complete temporal logic for belief revision
- A dialogical semantics for Bonanno's system of belief revision
- DEL-sequents for progression
- Minimal revision and classic Kripke models. First results
- Parallel belief revision: revising by sets of formulas
- Dynamic hyperintensional belief revision
- Logic and Game Theory
- Title not available (Why is that?)
- Conditioning and interpretation shifts
- Interrogative belief revision based on epistemic strategies
- My beliefs about your beliefs: a case study in theory of mind and epistemic logic
- Belief change in branching time: AGM-consistency and iterated revision
- A sketch of a dynamic epistemic semiring
- Belief revision and dynamic logic
- Dynamic epistemic logics: promises, problems, shortcomings, and perspectives
- Propositional Dynamic Logic as a Logic of Belief Revision
- Irrevocable belief revision in dynamic doxastic logic
- A computationally grounded logic of graded belief
- Logical dynamics of belief change in the community
- Converse-PDL with regular inclusion axioms: a framework for MAS logics
- Dynamic doxastic logic: why, how, and where to?
- Axiomatic characterization of the AGM theory of belief revision in a temporal logic
- A Sketch of a Dynamic Epistemic Semiring
- Dynamic epistemic logic for implicit and explicit beliefs
- Logic of change, change of logic
- On the epistemic foundation for iterated weak dominance: an analysis in a logic of individual and collective attitudes
- Contraction, Revision, Expansion: Representing Belief Change Operations
- Knowledge in flux. Modeling the dynamics of epistemic states
- A qualitative theory of dynamic interactive belief revision
- Conditional doxastic models: a qualitative approach to dynamic belief revision
- Title not available (Why is that?)
- Probabilistic dynamic belief revision
- Bridges between dynamic doxastic and doxastic temporal logics
- A modal framework for relating belief and signed information
- Belief revision in a temporal framework
- The algebra of multi-agent dynamic belief revision
- AGM 25 years. Twenty-five years of research in belief change
- Temporal interaction of information and belief
- Belief revision and epistemology
- Toward a theory of play: a logical perspective on games and interaction
- The Dynamics of Belief as a Basis for Logic
- The dynamics of relevance: adaptive belief revision
- Comments to `Logics of public communications'
- A qualitative theory of dynamic interactive belief revision
- Bringing belief base change into dynamic epistemic logic
- What will they say? -- Public announcement games
- Conditional doxastic logic with oughts and concurrent upgrades
- Belief revision and projection in the epistemic situation calculus
- Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points
- Logics of rational interaction
- Dynamic Epistemic Logic as a Substructural Logic
- Actions on belief
- Iterated Belief Change in Multi-Agent Systems
- Belief Revision From the Point of View of Doxastic Logic
- Dynamic logic for belief revision
- The case of the hidden hand
- DEL-sequents for progression
- A dynamic logic of knowledge, graded beliefs and graded goals and its application to emotion modelling
- Title not available (Why is that?)
- Title not available (Why is that?)
- Reasoning About Belief Revision
- Multi-agent belief revision with linked preferences
- Belief update as social choice
- A new psychologism in logic? Reflections from the point of view of belief revision
- Rational choice and AGM belief revision
- Towards a ``sophisticated model of belief dynamics. II: Belief revision
- On revocable and irrevocable belief revision
- Dynamics of lying
- Introspective forgetting
- Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief
- Inquisitive dynamic epistemic logic
- Generation and selection of abductive explanations for non-omniscient agents
- Keep changing your beliefs, aiming for the truth
- Revocable belief revision
- Two logical faces of belief revision
- Awareness dynamics
- Probability and time
This page was built for publication: Prolegomena to dynamic logic for belief revision
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q813422)
