2 papers
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…