2 citations · 3 across the 9 of their papers we have counts for
4 papers · 1 filter
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…
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…
Untangled: A Complete Dynamic Topological Logic
David Fernández-Duque, Yoàv Montacute
Dynamic topological logic () is a trimodal logic designed for reasoning about dynamic topological systems. It was shown by Fernández-Duque that the natural set of axi…
Dynamic Cantor Derivative Logic
David Fernández-Duque, Yoàv Montacute
Topological semantics for modal logic based on the Cantor derivative operator gives rise to derivative logics, also referred to as -logics. Unlike logics based on the topologica…