DDL unlimited: Dynamic doxastic logic for introspective agents

DOI10.1023/A:1005577906029zbMath0969.03024OpenAlexW1536420016MaRDI QIDQ1583791

Wlodek Rabinowicz, Sten Lindström

Publication date: 3 October 2001

Published in: Erkenntnis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005577906029

zbMATH Keywords

dynamic logicsemanticsbelief changetwo-dimensional logiclogic of beliefdoxastic statehypertheory

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Related Items (15)

My beliefs about your beliefs: a case study in theory of mind and epistemic logic ⋮ Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic ⋮ A formal model of multi-agent belief-interaction ⋮ AGM 25 years. Twenty-five years of research in belief change ⋮ A formal model of multi-agent belief-interaction ⋮ Revocable belief revision ⋮ Dynamic preference logic meets iterated belief change: representation results and postulates characterization ⋮ Simple hyperintensional belief revision ⋮ Contraction, Revision, Expansion: Representing Belief Change Operations ⋮ Segerberg on the Paradoxes of Introspective Belief Change ⋮ On Revocable and Irrevocable Belief Revision ⋮ DDL as an “Internalization” of Dynamic Belief Revision ⋮ Interrogative belief revision in modal logic ⋮ DYNAMIC HYPERINTENSIONAL BELIEF REVISION ⋮ Prolegomena to dynamic logic for belief revision

This page was built for publication: DDL unlimited: Dynamic doxastic logic for introspective agents