Analysing Spatial Properties on Neighbourhood Spaces
From MaRDI portal
Publication:5089239
DOI10.4230/LIPICS.MFCS.2020.66OpenAlexW3081677519MaRDI QIDQ5089239FDOQ5089239
Sven Linker, Michele Sevegnani, Fabio Papacchini
Publication date: 18 July 2022
Full work available at URL: https://arxiv.org/abs/2007.01266
Cites Work
- A calculus of mobile processes. I
- Target Enumeration via Euler Characteristic Integrals
- “Sometimes” and “not never” revisited
- Handbook of Spatial Logics
- A modal walk through space
- On Quasi-Metric Spaces
- Title not available (Why is that?)
- Neighborhood semantics for modal logic
- A generalized topological view of motion in discrete space.
- Bisimulations for temporal logic
- Model Checking Spatial Logics for Closure Spaces
- Target counting with Presburger constraints and its application in sensor networks
Cited In (6)
- Back-and-forth in space: on logics and bisimilarity in closure spaces
- NEIGHBOUR ANALYSIS OF UNIFORMITY DATA
- On bisimilarity for polyhedral models and \texttt{SLCS}
- A Spatial Logic for Simplicial Models
- Minimisation of spatial models using branching bisimilarity
- 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)