Belief Revision From the Point of View of Doxastic Logic

From MaRDI portal
Publication:4847368


DOI10.1093/jigpal/3.4.535zbMath0844.03015MaRDI 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


03B45: Modal logic (including the logic of norms)

03B60: Other nonclassical logic

68T30: Knowledge representation


Related Items

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