Laura Bussi, Vincenzo Ciancia, Fabio Gadducci. A Spatial Logic with Time and Quantifiers. In Nina Gierasimczuk, Fernando R. Velázquez-Quesada, editors, Dynamic Logic. New Trends and Applications - 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers. Volume 14401 of Lecture Notes in Computer Science, pages 1-19, Springer, 2023. [doi]
Abstract is missing.