Axiomatic characterization of the AGM theory of belief revision in a temporal logic

DOI10.1016/j.artint.2006.12.001zbMath1168.03317OpenAlexW1986250894MaRDI QIDQ1028901

Giacomo Bonanno

Publication date: 9 July 2009

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2006.12.001

zbMATH Keywords

informationbelief revisionbranching timebeliefAGM theory

Mathematics Subject Classification ID

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

Related Items

An automated method for building cognitive models for turn-based games from a strategy logic, Rational choice and AGM belief revision, Logics of Rational Interaction, Human Strategic Reasoning in Dynamic Games: Experiments, Logics, Cognitive Models, A Logic for Belief Contraction, Merging DEL and ETL, Constructive agents, Belief change in branching time: AGM-consistency and iterated revision, Belief change and 3-valued logics: Characterization of 19,683 belief change operators, Probability and time, Studying strategies and types of players: experiments, logics and cognitive models, Epistemic Conditionals and the Logic of Subsets, AGM 25 years. Twenty-five years of research in belief change, Modeling reasoning in a social setting, Diversity of agents and their interaction, Interrogative belief revision in modal logic, Logic and Game Theory, Logics for Temporal Information Systems in Rough Set Theory

Cites Work

• A simple modal logic for belief revision
• Prolegomena to dynamic logic for belief revision
• Dynamic belief revision operators
• Knowledge, belief and time
• Propositional knowledge base revision and minimal change
• Dynamic interactive epistemology
• All I know: A study in autoepistemic logic
• On the logic of theory change: Partial meet contraction and revision functions
• Using the Universal Modality: Gains and Questions
• Belief Revision From the Point of View of Doxastic Logic
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item