Propriétés logiques

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

• Ici il y a un ambient nommé a, qui contient un ambient nommé b.

• Quelque part il y a un ambient nommé a.

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