Prolegomena to dynamic logic for belief revision
From MaRDI portal
Publication:813422
DOI10.1007/s11229-005-1349-7zbMath1082.03014OpenAlexW2058814709MaRDI QIDQ813422
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
Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)
Related Items
Converse-PDL with regular inclusion axioms: a framework for MAS logics ⋮ Deceit and indefeasible knowledge: the case of dubitatio ⋮ Rational choice and AGM belief revision ⋮ Private Expansion and Revision in Multi-agent Settings ⋮ Logics of Rational Interaction ⋮ Belief revision and projection in the epistemic situation calculus ⋮ Dynamic doxastic logic: why, how, and where to? ⋮ My beliefs about your beliefs: a case study in theory of mind and epistemic logic ⋮ Dynamic epistemic logics: promises, problems, shortcomings, and perspectives ⋮ A Qualitative Theory of Cognitive Attitudes and their Change ⋮ Belief change in branching time: AGM-consistency and iterated revision ⋮ A Qualitative Theory of Dynamic Interactive Belief Revision ⋮ Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief ⋮ Unnamed Item ⋮ Unnamed Item ⋮ On the epistemic foundation for iterated weak dominance: an analysis in a logic of individual and collective attitudes ⋮ Probability and time ⋮ 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 ⋮ Dynamics of lying ⋮ Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic ⋮ Comments to `Logics of public communications' ⋮ Inquisitive dynamic epistemic logic ⋮ Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision ⋮ Keep changing your beliefs, aiming for the truth ⋮ AGM 25 years. Twenty-five years of research in belief change ⋮ Awareness dynamics ⋮ Dynamic epistemic logic for implicit and explicit beliefs ⋮ Generation and selection of abductive explanations for non-omniscient agents ⋮ What will they say? -- Public announcement games ⋮ Logic of change, change of logic ⋮ Truth-tracking by belief revision ⋮ Revocable belief revision ⋮ Logical dynamics of belief change in the community ⋮ DEL-sequents for progression ⋮ DEL-sequents for progression ⋮ Towards a ``sophisticated model of belief dynamics. II: Belief revision ⋮ DYNAMIC GRADED EPISTEMIC LOGIC ⋮ Simple hyperintensional belief revision ⋮ A computationally grounded logic of graded belief ⋮ LOGIC AND TOPOLOGY FOR KNOWLEDGE, KNOWABILITY, AND BELIEF ⋮ A Modal Framework for Relating Belief and Signed Information ⋮ Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points ⋮ Probabilistic dynamic belief revision ⋮ A Dynamic Logic of Knowledge, Graded Beliefs and Graded Goals and Its Application to Emotion Modelling ⋮ Contraction, Revision, Expansion: Representing Belief Change Operations ⋮ On Revocable and Irrevocable Belief Revision ⋮ Two Logical Faces of Belief Revision ⋮ Axiomatic characterization of the AGM theory of belief revision in a temporal logic ⋮ The case of the hidden hand ⋮ Introspective forgetting ⋮ Logic and Game Theory ⋮ Dynamic Epistemic Logic as a Substructural Logic ⋮ Toward a theory of play: a logical perspective on games and interaction ⋮ DYNAMIC HYPERINTENSIONAL BELIEF REVISION
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A simple modal logic for belief revision
- The secret of my success
- Cheating husbands and other stories: A case study of knowledge, action, and communication
- Two modellings for theory change
- Nonmonotonic reasoning, preferential models and cumulative logics
- Reasoning about information change
- On the logic of iterated belief revision
- Default logic as dynamic doxastic logic
- DDL unlimited: Dynamic doxastic logic for introspective agents
- Descriptions of game actions
- Dynamic interactive epistemology
- Refined epistemic entrenchment
- Logics for epistemic programs
- The Logic of Public Announcements, Common Knowledge, and Private Suspicions
- On the logic of theory change: Partial meet contraction and revision functions
- Merging Information Under Constraints: A Logical Framework
- Intelligent Agents and Multi-Agent Systems
- A formal model of multi-agent belief-interaction
- Basic infobase change
This page was built for publication: Prolegomena to dynamic logic for belief revision
