conftrace_

topological mu-calculus

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

cantor derivative (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