Luciano Floridi presents an innovative approach to philosophy, conceived as conceptual
design. He explores how we make, transform, refine, and improve the objects of our …

Contemporary claims that mitotically active female germ line or oogonial stem cells (OSCs)
exist and support oogenesis during postnatal life in mammals have been debated in the field …

There is a recent trend of extending epistemic logic (EL) with dynamic operators that allow to
express the evolution of knowledge and induced by knowledge-changing actions. The most …

Dynamic epistemic logic (DEL) provides a very expressive framework for multi-agent
planning that can deal with nondeterminism, partial observability, sensing actions, and …

We present an epistemic logic incorporating dynamic operators to describe information
changing events. Such events include epistemic changes, where agents become more …

In this paper, we present several extensions of epistemic logic with update operators
modelling public information change. Next to the well-known public announcement …

We study a version of Propositional Dynamic Logic (PDL) that we call Dynamic Logic of
Propositional Assignments (DL-PA). The atomic programs of DL-PA are assignments of …

We study dynamic modal operators that can change the accessibility relation of a model
during the evaluation of a formula. In particular, we extend the basic modal language with …

Recent years have witnessed a renewed interest in Boolean functions in explaining binary
classifiers in the field of explainable AI (XAI). The standard approach to Boolean functions is …

We introduce a new semantics for a family of logics of explicit and implicit belief based on
the concept of multi-agent belief base. Differently from standard semantics for epistemic …