A Complete Axiomatic System for a Process-Based Spatial Logic
From MaRDI portal
Publication:3599152
DOI10.1007/978-3-540-85238-4_40zbMath1173.03307OpenAlexW1536137640MaRDI QIDQ3599152
Radu Mardare, Alberto Policriti
Publication date: 3 February 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-85238-4_40
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Modal logics for mobile processes
- Language in action. Categories, lambdas and dynamic logic
- Model checking mobile processes
- A spatial logic for concurrency. I
- Deciding validity in a spatial logic for trees
- Observing Distributed Computation. A Dynamic-Epistemic Approach
- Decidable Extensions of Hennessy-Milner Logic
- Algebraic laws for nondeterminism and concurrency
- Anytime, anywhere
- Extensionality and intensionality of the ambient logics
- Semantics for relevant logics
- Decidability of DPDA equivalence