Propriétés logiques

• Ici (et maintenant) il n’y a rien: 0

• Ici il a quelque chose (beaucoup): not 0, (not 0) | (not 0)

• Ici il y a un ambient nommé a, qui contient un ambient nommé b: a[b[true] | true]

• Quelque part il y a un ambient nommé a: SW.a[true] ou bien SW.(a[true] | true)

• Dans le futur, il y aura un ambient nommé a.