Dynamic doxastic logic: why, how, and where to?

H Leitgeb, K Segerberg

Research output: Contribution to journalArticle (Academic Journal)peer-review

32 Citations (Scopus)


We investigate the research programme of dynamic doxastic logic (DDL) and analyze its underlying methodology. The Ramsey test for conditionals is used to characterize the logical and philosophical differences between two paradigmatic systems, AGM and KGM, which we develop and compare axiomatically and semantically. The importance of Gärdenfors’s impossibility result on the Ramsey test is highlighted by a comparison with Arrow’s impossibility result on social choice. We end with an outlook on the prospects and the future of DDL.
Translated title of the contributionDynamic Doxastic Logic: Why, How, and Where to?
Original languageEnglish
Pages (from-to)167-190
Number of pages34
Issue number2
Early online date10 Feb 2007
Publication statusPublished - 2007

Fingerprint Dive into the research topics of 'Dynamic doxastic logic: why, how, and where to?'. Together they form a unique fingerprint.

Cite this