2 citations · 3 across the 9 of their papers we have counts for
Showing 2023Show all
3 papers · 1 filter
math.LO2023
Cantor Derivative Logic in Topological Dynamics
Yoàv Montacute
Topological semantics for modal logic based on the Cantor derivative operator gives rise to derivative logics, also referred to as d-logics. Unlike logics based on the topological…
math.LO2023
Dynamic Tangled Derivative Logic of Metric Spaces
David Fernández-Duque, Yoàv Montacute
Dynamical systems are abstract models of interaction between space and time. They are often used in fields such as physics and engineering to understand complex processes, but due…
cs.LO2023
Linear Arboreal Categories
Samson Abramsky, Yoàv Montacute, Nihil Shah
Arboreal categories, introduced by Abramsky and Reggio, axiomatise categories with tree-shaped objects. These categories provide a categorical language for formalising behavioural…