Yoàv Montacute

2 papers · 2023–2024 · 1 conference · across top CS/AI conferences

Achievements

🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐝 Cross-Pollinator (15)

Conferences

AAAI (2)

Top co-authors

David Fernández-Duque (2)

Keywords

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

Papers

Dynamic Tangled Derivative Logic of Metric Spaces AAAI 2024

Untangled: A Complete Dynamic Topological Logic AAAI 2023