DDL unlimited: Dynamic doxastic logic for introspective agents
From MaRDI portal
Publication:1583791
DOI10.1023/A:1005577906029zbMath0969.03024MaRDI 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
dynamic logic; semantics; belief change; two-dimensional logic; logic of belief; doxastic state; hypertheory
03B42: Logics of knowledge and belief (including belief change)
Related Items
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, DYNAMIC HYPERINTENSIONAL BELIEF REVISION, A formal model of multi-agent belief-interaction, A formal model of multi-agent belief-interaction, AGM 25 years. Twenty-five years of research in belief change, Prolegomena to dynamic logic for belief revision, My beliefs about your beliefs: a case study in theory of mind and epistemic logic, Interrogative belief revision in modal logic, Revocable belief revision, Dynamic preference logic meets iterated belief change: representation results and postulates characterization, Simple hyperintensional belief revision, Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic