research
∙
04/28/2022
Positive (Modal) Logic Beyond Distributivity
We present a duality for non-necessarily-distributive (modal) lattices a...
share
research
∙
06/03/2021
A Coalgebraic Approach to Dualities for Neighborhood Frames
We develop a uniform coalgebraic approach to Thomason and Jónsson-Tarski...
research
∙
05/18/2021
The Topological Mu-Calculus: completeness and decidability
We study the topological μ-calculus, based on both Cantor derivative and...
research
∙
05/13/2021
Geometric Model Checking of Continuous Space
Topological Spatial Model Checking is a recent paradigm that combines Mo...
research
∙
05/23/2020
Minimisation in Logical Form
Stone-type dualities provide a powerful mathematical framework for study...
research
∙
07/27/2017