Analysing Spatial Properties on Neighbourhood Spaces

DOI10.4230/LIPIcs.MFCS.2020.66OpenAlexW3081677519MaRDI QIDQ5089239

Sven Linker, Michele Sevegnani, Fabio Papacchini

Publication date: 18 July 2022

Full work available at URL: https://arxiv.org/abs/2007.01266

zbMATH Keywords

topologybisimulationspatial logic

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (4)

Geometric Model Checking of Continuous Space ⋮ A Spatial Logic for Simplicial Models ⋮ Back-and-forth in space: on logics and bisimilarity in closure spaces ⋮ Minimisation of spatial models using branching bisimilarity

Cites Work

• Unnamed Item
• A calculus of mobile processes. I
• Bisimulations for temporal logic
• A generalized topological view of motion in discrete space.
• Neighborhood semantics for modal logic
• Model Checking Spatial Logics for Closure Spaces
• Handbook of Spatial Logics
• Target Enumeration via Euler Characteristic Integrals
• A ModalWalk Through Space
• “Sometimes” and “not never” revisited
• On Quasi-Metric Spaces
• Target counting with Presburger constraints and its application in sensor networks

This page was built for publication: Analysing Spatial Properties on Neighbourhood Spaces