Dynamic Testimonial Logic [chapter]

Wesley H. Holliday
2009 Lecture Notes in Computer Science  
We introduce a dynamic testimonial logic (DTL) to model belief change over sequences of multi-agent testimony. Our static base logic is Baltag and Smets' [1] conditional doxastic logic (CDL). Our dynamic base logic is van Benthem's [12] dynamic logic of belief upgrade, which we extend with a "belief suspension" operator. After showing how to extract from CDL models agents' beliefs about the doxastic reliability of other agents, we add "authority graphs" to DTL models to capture agents'
more » ... trust in other agents' testimony. For DTL's dynamic testimony operator, we give complete reduction axioms. Finally, we describe an application of DTL in modeling epistemic bandwagon effects.
doi:10.1007/978-3-642-04893-7_13 fatcat:obfb3nntv5cazmiyfz6bsamgsq