Repository | Journal | Volume | Articles

(2007) Synthese 155 (2).
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.
Publication details
DOI: 10.1007/s11229-006-9143-8
Full citation:
Leitgeb, H. , Segerberg, K. (2007). Dynamic doxastic logic: why, how, and where to?. Synthese 155 (2), pp. 167-190.
This document is unfortunately not available for download at the moment.