Separability in the Ambient Logic

DOI10.2168/LMCS-4(3:4)2008MaRDI QIDQ3535609zbMATH OpenOpenAlexFDO

Authors Etienne Lozes, Daniel Hirschkoff, Davide Sangiorgi

Publication date 13 November 2008

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2168/lmcs-4(3:4)2008

zbMATH Keywords

Ambient LogicdecidabilityMobile Ambientsstructural congruence

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Logic in computer science (03B70)

Recommendations

• On the Expressiveness of the Ambient Logic
• Extensionality and intensionality of the ambient logics
• scientific article; zbMATH DE number 1841829
• Ambient calculus and its logic in the calculus of inductive constructions
• Intensionality of modal logic for robust ambient calculus

Cited in

(11)

• On the computational strength of pure ambient calculi
• When ambients cannot be opened
• On the expressive power of movement and restriction in pure mobile ambients
• A spatial logic for concurrency. II
• Model checking mobile ambients
• Elimination of quantifiers and undecidability in spatial logics for concurrency
• Intensionality of modal logic for robust ambient calculus
• Extensionality and intensionality of the ambient logics
• Foundations of Software Science and Computation Structures
• On the Expressiveness of the Ambient Logic
• A spatial equational logic for the applied \(\pi \)-calculus

This page was built for publication: Separability in the Ambient Logic

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