conftrace_

cantor derivative

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

topological mu-calculus (1) dynamic topological logic (1) spatial logic (1) fixed-point operator (1) temporal logic (1) metric space (1) dynamical system (1)

Papers

Dynamic Tangled Derivative Logic of Metric Spaces AAAI 2024