An algebraization of the notion of topology has been proposed more than 70 years ago in a
classical paper by McKinsey and Tarski, leading to an area of research still active today, with …

In the paper, we introduce multilattice versions of the basic congruent and monotonic modal
logics. In the case of congruent and monotonic ones, we also study their extensions by …

Positive monotone modal logic is the negation-and implication-free fragment of monotone
modal logic, ie, the fragment with connectives and. We axiomatise positive monotone modal …

We propose a logic for temporal properties of higher-order programs that handle infinite
objects like streams or infinite trees, represented via coinductive types. Specifications of …

In this thesis, we use in two ways the concept of synthetic inference rules that can be
obtained from a focused proof system; from one side of the “telescope”, focusing allows us to …

Categorical dualities are an important tool in the study of (modal) logics. They offer
conceptual understanding and enable the transfer of results between the different semantics …