A Spatial Logic for Simplicial Models
From MaRDI portal
Publication:6135777
DOI10.46298/lmcs-19(3:8)2023arXiv2105.08708OpenAlexW4385321857MaRDI QIDQ6135777
Michele Loreti, Michela Quadrini
Publication date: 26 August 2023
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2105.08708
Related Items (2)
Back-and-forth in space: on logics and bisimilarity in closure spaces ⋮ Minimisation of spatial models using branching bisimilarity
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the almighty wand
- CCS expressions, finite state processes, and three problems of equivalence
- A multiprocess network logic with temporal and spatial modalities
- A generalized topological view of motion in discrete space.
- Tarski's theorem on intuitionistic logic, for polyhedra
- A spatial logic for concurrency. I
- A simplicial complex model for dynamic epistemic logic to study distributed task computability
- A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks
- An \(O(m\log n)\) algorithm for stuttering equivalence and branching bisimulation
- Software-intensive systems and new computing paradigms. Challenges and visions
- Spatial Logic and Spatial Model Checking for Closure Spaces
- Model Checking Spatial Logics for Closure Spaces
- Introduction to Bisimulation and Coinduction
- Specifying and Verifying Properties of Space
- Discrete Mereotopology
- The Temporal Logic of Rewriting: A Gentle Introduction
- Handbook of Spatial Logics
- Graphical Encoding of a Spatial Logic for the π-Calculus
- Digital Topology
- Three logics for branching bisimulation
- Logic in Computer Science
- Distributed Coverage Verification in Sensor Networks Without Location Information
- An Experimental Spatio-Temporal Model Checker
- Geometric Model Checking of Continuous Space
- Analysing Spatial Properties on Neighbourhood Spaces
- A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting
- Anytime, anywhere
- Topological Semantics and Bisimulations for Intuitionistic Modal Logics and Their Classical Companion Logics
This page was built for publication: A Spatial Logic for Simplicial Models
