Belief Revision From the Point of View of Doxastic Logic

DOI10.1093/jigpal/3.4.535zbMath0844.03015OpenAlexW2032400814MaRDI QIDQ4847368

Krister Segerberg

Publication date: 20 September 1995

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/3.4.535

zbMATH Keywords

belief revisiondynamic logicsemanticsbelief changedoxastic logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Knowledge representation (68T30)

Related Items (31)

Rational choice and AGM belief revision ⋮ Exploring the Power of Converse Events ⋮ A semantics for hyperintensional belief revision based on information bases ⋮ Update as Evidence: Belief Expansion ⋮ Blueprint for a dynamic deontic logic ⋮ A formal model of emotion triggers: an approach for BDI agents ⋮ A Logic for Belief Contraction ⋮ On the role of the research agenda in epistemic change ⋮ Belief change in branching time: AGM-consistency and iterated revision ⋮ From DEL to EDL: Exploring the Power of Converse Events ⋮ Dynamic logics of evidence-based beliefs ⋮ When hyperpropositions meet \(\dots\) ⋮ Logics of belief change without linearity ⋮ A DDL approach to pluralistic ignorance and collective belief ⋮ AGM 25 years. Twenty-five years of research in belief change ⋮ Iterated belief change in the situation calculus ⋮ Belief extrapolation (or how to reason about observations and unpredicted change) ⋮ On the dynamics of institutional agreements ⋮ Irrevocable belief revision in dynamic doxastic logic ⋮ MATRIX REPRESENTATION OF BELIEF STATES: AN ALGEBRAIC SEMANTICS FOR BELIEF LOGICS ⋮ Recapturing dynamic logic of relation changers via bounded morphisms ⋮ Simple hyperintensional belief revision ⋮ A Modal Framework for Relating Belief and Signed Information ⋮ Logical Dynamics of Evidence ⋮ Contraction, Revision, Expansion: Representing Belief Change Operations ⋮ DDL as an “Internalization” of Dynamic Belief Revision ⋮ Two Logical Faces of Belief Revision ⋮ Axiomatic characterization of the AGM theory of belief revision in a temporal logic ⋮ Belief fusion and revision: an overview based on epistemic logic semantics ⋮ Dynamic logic for belief revision ⋮ DYNAMIC HYPERINTENSIONAL BELIEF REVISION

This page was built for publication: Belief Revision From the Point of View of Doxastic Logic