Hybrid Logical Analyses of the Ambient Calculus

DOI10.1007/978-3-540-73445-1_7MaRDI QIDQ3612655zbMATH OpenOpenAlexWikidataFDO

Authors Thomas Bolander, René Rydhof Hansen

Publication date 10 March 2009

Published in Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73445-1_7

zbMATH Keywords

hybrid logicmobile ambientsstatic analysis

Mathematics Subject Classification ID

Combined logics (03B62) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Hybrid logical analyses of the ambient calculus
• Ambient calculus and its logic in the calculus of inductive constructions
• Sequent calculus for hybrid logic
• Hybrid logic and its proof-theory
• On the Expressiveness of the Ambient Logic
• Birkhoff style calculi for hybrid logics
• A coalgebraic approach to the semantics of the ambient calculus
• scientific article; zbMATH DE number 1341482
• A Hybrid Intuitionistic Logic: Semantics and Decidability
• Algebra and Coalgebra in Computer Science

Cited in

(2)

• Algebra and Coalgebra in Computer Science
• Hybrid logical analyses of the ambient calculus

Describes a project that uses

Uses Software

• HyLoTab

This page was built for publication: Hybrid Logical Analyses of the Ambient Calculus

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