We briefly give an overview of Dynamic Epistemic Logic (DEL), mainly in semantic terms. We focus on the simplest of epistemic actions in DEL, called public announcements. We also sketch the effect of more complex epistemic actions, and briefly show how als factual change can be modelled in the same framework. We then apply the logic of public announcements in DEL to the analysis of a knowledge ...

We examine the paradox of the surprise examination using dynamic epistemic logic. This logic contains means of expressing epistemic facts as well as the effects of learning new facts, and is therefore a natural framework for representing the puzzle. We discuss a number of different interpretations of the puzzle in this context, and show how the failure of principle of success, that states that ...

This article agrees with recent arguments suggesting that normative and epistemic power is rife within global health policy and provides further examples of such. However, in doing so, it is argued that it is equally important to recognize that global health is, and always will be, deeply political and that some form of power is not only necessary for the system to advance, but also to try and ...

This paper discusses what it means to be a good qualitative researcher. The aim is to deliberately blur the distinction between epistemic and ethical goodness by arguing that there is a close connection between being a good qualitative researcher in the epistemic and the ethical senses. First, the relation between researcher and researched is articulated as a power relation giving rise to certa...

In the present paper, we introduce a multi-type display calculus for dynamic epistemic logic, which we refer to as Dynamic Calculus. The displayapproach is suitable to modularly chart the space of dynamic epistemic logics on weaker-than-classical propositional base. The presence of types endows the language of the Dynamic Calculus with additional expressivity, allows for a smooth proof-theoreti...

Dynamic epistemic logic, broadly conceived, is the study of logics of information change. In this first paper, I introduce the basic logical systems for reasoning about the knowledge and beliefs of a group of agents.