Fixed Points in the Ambient Logic

Silvano Dal Zilio
In FICS 2001 — 3rd Workshop on Fixed Points in Computer Science, sep 2001.

Abstract

#

We present an extension of the ambient logic with fixed points operators in the style of the μ-calculus. We give a simple syntactic condition for the equivalence between minimal and maximal fixpoint formulas and show how to subsume spatial analogues of the usual box and diamond operators.

Citation

#

@InProceedings{DalzilioS:fics2001,
   author    = {{Dal Zilio}, Silvano},
   title     = {{Fixed Points in the Ambient Logic}},
   booktitle = {FICS 2001 -- 3rd Workshop on Fixed Points in Computer Science},
   month     = sep, 
   year      = 2001
}