Analysing Spatial Properties on Neighbourhood Spaces

DOI10.4230/LIPICS.MFCS.2020.66MaRDI QIDQ5089239zbMATH OpenOpenAlexFDO

Authors Sven Linker, Fabio Papacchini, Michele Sevegnani

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)

Cites work

• scientific article; zbMATH DE number 3600759 (Why is no real title available?)
• A calculus of mobile processes. I
• A generalized topological view of motion in discrete space.
• A modal walk through space
• Bisimulations for temporal logic
• Handbook of Spatial Logics
• Model checking spatial logics for closure spaces
• Neighborhood semantics for modal logic
• On Quasi-Metric Spaces
• Target Enumeration via Euler Characteristic Integrals
• Target counting with Presburger constraints and its application in sensor networks
• “Sometimes” and “not never” revisited

Cited in

(6)

• Back-and-forth in space: on logics and bisimilarity in closure spaces
• Minimisation of spatial models using branching bisimilarity
• A Spatial Logic for Simplicial Models
• NEIGHBOUR ANALYSIS OF UNIFORMITY DATA
• On bisimilarity for polyhedral models and \texttt{SLCS}
• Geometric Model Checking of Continuous Space

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5089239)