research
∙
02/01/2023
Cantor Derivative Logic in Topological Dynamics
Topological semantics for modal logic based on the Cantor derivative ope...
share
research
∙
01/24/2023
Linear Arboreal Categories
Arboreal categories, introduced by Abramsky and Reggio, axiomatise categ...
research
∙
01/24/2023
Dynamic Tangled Derivative Logic of Metric Spaces
Dynamical systems are abstract models of interaction between space and t...
research
∙
04/18/2022
Untangled: A Complete Dynamic Topological Logic
Dynamic topological logic (𝐃𝐓𝐋) is a trimodal logic designed for reasoni...
research
∙
10/15/2021
The Pebble-Relation Comonad in Finite Model Theory
The pebbling comonad, introduced by Abramsky, Dawar and Wang, provides a...
research
∙
07/21/2021