Paper Info
Title
Dynamic doxastic logic: why, how, and where to?
Abstract
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 Grdenfors’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.
Year
DOI
Venue
2007
10.1007/s11229-006-9143-8
Synthese
Keywords
Field
DocType
Dynamic doxastic logic,Theory change,Belief revision,Belief update,Ramsey test,Arrow’s theorem
Social choice theory,Logical conjunction,Arrow,Computer science,Impossibility,Philosophy of language,Epistemology,Ramsey RESET test,Belief revision,Doxastic logic
Journal
Volume
Issue
ISSN
155
2
0039-7857
Citations 
PageRank 
References 
13
1.02
13
Authors
2
Name
Order
Citations
PageRank
Hannes Leitgeb111519.26
Krister Segerberg2577245.32