A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
Outstanding Contributions to Logic
In this paper we re-evaluate Segerberg's "full DDL" (Dynamic Doxastic Logic) from the perspective of Dynamic Epistemic Logic (DEL), in its beliefrevision-friendly incarnation. We argue that a correct version of full DDL must give up the Success Postulate for dynamic revision. Next, we present (an appropriately generalized and simplified version of) full DDL, showing that it is a generalization of the so-called Topo-logic of Moss and Parikh. We construct AGM-friendly versions of full DDL,doi:10.1007/978-94-007-7046-1_12 fatcat:bfxmj53q7zh4vhvfqtpvskqfoa