The identification of plausible epistemic approaches in science as well as the social problem definitions with which scientists implicitly work is essential for the quality of a deliberative public policy. While responding to the Nanofutures project, I will reflect on the essential elements of such a policy.

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

In this work we investigate the feasibility of the project of showing that a certain kind of generalisations that philosophers call ‘Epistemic Principles’, which state conditions for the achievement of epistemic goods such as justifications and entitlements, fulfil general conditions for their correctness. First, we identify the veritistic commitments underlying the project; it is argued that s...

The Logic of Epistemic Actions and Knowledge (EAK) has been introduced by Baltag, Moss and Solecki [1] as a framework for reasoning about knowledge in a dynamic setting. It is thus a language expansion of (classical) modal logic having, besides the usual modal operators that represent knowledge and beliefs of agents, dynamic operators used to represent the epistemic change that can be brought a...

Aximo is a software written in C++ that verifies epistemic properties of dynamic scenarios in multi-agent systems. The underlying logic of our tool is based on the algebraic axiomatics of Dynamic Epistemic Logic. We also present a new theoretical result: the worst case complexity of the verification problem of Aximo.