A Complete Axiomatic System for a Process-Based Spatial Logic

DOI10.1007/978-3-540-85238-4_40MaRDI QIDQ3599152zbMATH OpenOpenAlexFDO

Authors 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

Mathematics Subject Classification ID

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)

Recommendations

• Frontiers of Combining Systems
• A predicate spatial logic for mobile process
• A spatial logic for concurrency. II
• scientific article; zbMATH DE number 1927564
• scientific article; zbMATH DE number 2242579

Cites work

• scientific article; zbMATH DE number 1047505 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 1841829 (Why is no real title available?)
• scientific article; zbMATH DE number 3271460 (Why is no real title available?)
• A spatial logic for concurrency. I
• Algebraic laws for nondeterminism and concurrency
• Anytime, anywhere: modal logics for mobile ambients
• Decidability of DPDA equivalence
• Decidable Extensions of Hennessy-Milner Logic
• Deciding validity in a spatial logic for trees
• Extensionality and intensionality of the ambient logics
• Handbook of process algebra
• Language in action. Categories, lambdas and dynamic logic
• Modal logics for mobile processes
• Model checking mobile processes
• Observing Distributed Computation. A Dynamic-Epistemic Approach
• Semantics for relevant logics

Cited in

(3)

• Elimination of quantifiers and undecidability in spatial logics for concurrency
• Parametric and quantitative extensions of modal transition systems
• Modular Markovian Logic

Describes a project that uses

Uses Software

• SLMC

This page was built for publication: A Complete Axiomatic System for a Process-Based Spatial Logic

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