conftrace_

dynamic topological logic

2 papers

Explore in graph

Also known as

DTL

Co-occurring keywords · papers mentioning both

dynamical system (2) spatial logic (1) topological mu-calculus (1) cantor derivative (1) scattered space (1) modal logic (1) fixed-point operator (1) temporal logic (1) metric space (1) fixed point (1)

Papers

Dynamic Tangled Derivative Logic of Metric Spaces AAAI 2024 Untangled: A Complete Dynamic Topological Logic AAAI 2023