DDL unlimited: Dynamic doxastic logic for introspective agents

DOI10.1023/A:1005577906029zbMATH Open0969.03024OpenAlexW1536420016WikidataQ59410256 ScholiaQ59410256MaRDI QIDQ1583791FDOQ1583791

Authors: Sten Lindström, Wlodek Rabinowicz 

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

Recommendations

• Publication:4946225
• Belief Revision From the Point of View of Doxastic Logic
• Contraction, Revision, Expansion: Representing Belief Change Operations
• Segerberg on the Paradoxes of Introspective Belief Change
• A semantics for hyperintensional belief revision based on information bases
• Some completeness theorems in the dynamic doxastic logic of iterated belief revision
• scientific article; zbMATH DE number 1123620
• Default logic as dynamic doxastic logic
• Dynamic hyperintensional belief revision

zbMATH Keywords

belief changesemanticsdynamic logictwo-dimensional logiclogic of beliefdoxastic statehypertheory

Mathematics Subject Classification ID

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

Cited In (15)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1583791)