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 ...

Abstract This study uses acoustic energy measures for /b, d, g/ after /f, s, ∫, l, r/ in Catalan in order to test whether postconsonantal voiced stop lenition is ruled by minimization of articulatory effort, acoustico-perceptual continuity of an ongoing prosodic constituent or some other principle of articulatory organization. Data for eight speakers reveal that lenition is more prone to operat...

This paper presents a logic combining Dynamic Epistemic Logic, a framework for reasoning about multi-agent communication, with a new multi-agent version of Justification Logic, a framework for reasoning about evidence and justification. This novel combination incorporates a new kind of multi-agent evidence elimination that cleanly meshes with the multi-agent communications from Dynamic Epistemi...

Acknowledgements I wish to express my gratitude to my supervisors, Johan van Benthem and Sonja Smets. They have been excellent guides both through the technical intricacies and the philosophical subtleties that I encountered during my research. I would particularly like to thank Johan for badgering me to always keep in mind the big picture and to Sonja for her day-today supervision and careful ...

In order to deal with the complexity of biological systems and attempts to generate applicable results, current biomedical sciences are adopting concepts and methods from the engineering sciences. Philosophers of science have interpreted this as the emergence of an engineering paradigm, in particular in systems biology and synthetic biology. This article aims at the articulation of the supposed...

deteriorated urban textures are areas of a city isolated from developmental life cycle. they have turned into the focus of problems and inefficiencies. the evaluation of renewal actions claims to promote residents’ satisfaction in some cases. at the same time of improving objective and economic quality of life, there are claims regarding the lack of any improvements in their subjective quality ...

A number of systems of dynamic epistemic logic have been developed recently as extensions of static epistemic logic by Plaza [11], Gerbrandy & Groeneveld [5], Gerbrandy [4], Baltag, Moss & Solecki [2], and Kooi & van Benthem [7] among others.2 In these systems, dynamic changes brought about by various kinds of information transmission including public announcements as well as private communicat...

As humans, we live in a remarkably complex social environment. One cognitive tool which helps us manage all this complexity is our theory of mind, the ability to reason about the mental states of others. By deducing what other people want, feel and think, we can understand their actions, predict how our actions will influence them, and decide how we should behave to be successful. Theory of min...