HAL Id: hal-02101816
https://hal-lara.archives-ouvertes.fr/hal-02101816
Submitted on 17 Apr 2019
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.
L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.
Separability, Expressiveness, and Decidability in the Ambient Logic
Daniel Hirschkoff, E. Lozes, D. Sangiorgi
To cite this version:
Daniel Hirschkoff, E. Lozes, D. Sangiorgi. Separability, Expressiveness, and Decidability in the Am-
bient Logic. [Research Report] LIP RR-2002-18, Laboratoire de l’informatique du parallélisme. 2002,
2+17p. �hal-02101816�
Laboratoire de l’Informatique du Parall´elisme
Ecole Normale Sup´erieure de Lyon ´
Unit´e Mixte de Recherche CNRS-INRIA-ENS LYON n
o5668
Ecole Normale Sup´erieure de ´ Lyon
46 All´ee d’Italie, 69364 Lyon Cedex 07, France
T´el´ephone : +33(0)4.72.72.80.37
T´el´ecopieur : +33(0)4.72.72.80.80
Adresse ´electronique :
!""!
! "
#
$ " %
& ! "%
' # $ ! & !
! %(
( #
) % %
' * '
*
& ' *
'
! #
+ ! ! !
! % !
,, ,,
- ,
! "." "-
, , #
, "
% "! , - .,"%
" ' # , ! "
!
!,(
" ," ,(, #
/ ! % )
, !%%! ' * '
* , " '
*,,'
!,,
#
0 - , !"!
!,,! %,!, "
! !12 3
! 14!3# 5 %
! &! %! #
!!&% #
% %&) *
* %#
6 ! !6(
%#
#
*
# * %!
#
) #
! ' 713 #13 )
7 13 )
&# 8 ! )
#
0! (# 0!&%! !
(9# "!%
"# %& &&
! 713 1 3#
:&%! 713 7#13 %%
1 3 1 3 713 7#1 3#
5!%(! !%%
( ! " ;
! & %# !
#
5 ! %%
# # 5!
( % "
! & " &
# .
13#
% "
1< 3# :!& "&
" # &6 &
%%
#
%6 ! !& %%#
% 6! !
½
# = ! 6 # 0!
% % # %
6 % &# 5
! ! % 6
& %# = !
: 1<3!# (
( #
! #
5 & " %
& #$ ! !&
! #
5
! (*
! (#
( !
#
(
# 8
!
(#
$ # $& '
"%!&& "
# = !& &
' ! & # >
"% & "
? ?# @
%! #
%! & #
0!&% ' &
#
% '
#
#
@
"% '
# $ (!
!
'
; ' ! #
& &6 &&
! ( #
6
#
@ # "
% ' ! & % '
# :&%!&(
!
' # $ & %
#
!
& %>#
&'
!
%
%% ' #
%;
# !(
( ! ( 1A! 3#
! ! (*%(
&6 ( # B5(. (
!& B( . 6
% #
( !
( ! (9 # 5
& # =! %
( % 14 3!
# =!
( ) ! (!
1 3#
( & # 8
% "% % !
# "!
&% "%
#
5 & #
(
# %
& 7 B . * & &
! ( ! 6
&(# $ &!
&% #
@ &%%&)
! '
;
* !
& #
# = ! C#D & &
' ' 1 3 ' 1 3 &
!! %!
! !
"%#
%# =
! ' 6
& # )
! #
> ' %
123! & #
!
! &
%!(& # &
& #
12 3! &
#
$& "%
( !
# = ! !
&6&1!3!
# 6
?% ? ! ;
" 13#
))'
))'
#
1 3
7
)
$ B. ! 143# B/.
%* # ! 12!<!D3!
& #
! &
# #
(# % ! # /
1#
3 1311
3 3
11#
3 31
3 13
# 13
1 31 3
)
& (#
!! 7
! ! ( & )
7 7 7 7 7
77 7 7 #
1!C3# !!%#
E% % &'#
!
#
'
!
!
'''''''' "
" '
""
'
'
'
' !
#$
'
$ !
'
'''''''''% $
'
'''''''''%
' '!
0 %$
!& #
"# $! &"$
' '
%
1 3'7 ' %
# 'F !
( 7
#
&)
% '
" !
))' #
13
G (
C)
&' ( ?C
&( !%& * %
% # % ! !
% "( ! #! &
# %! E
# G
9 13! !!%
&# &% #
( &"
' ' $
'# ' $ '
' ' '
'
'
!!
'
'
' ' ' '
'13 ' !! 1 3 '
' '
' ' !! ' '
'G ' 1 3 '
' ' ' '
12 3 " %
! % ! &
( # %&
#
$ % !
!
# $
% ! !
! !
% "( # 9 # $
( #
' '
' '
# ' # '
' ; & ' '! ';
' ' #
' ! 123!
( ; ! '#
) * #+! #
' "" ') '!
%&& (
( 123#
% , ! 5 "
$
""
' !
+! ' " !
,! ' "" "" '
!
-! # $
" " " "
'
!
.! ' 1 3" " "" 13
!
$ !
!!<! && %
! ! #
% B.!B.!13#
# (
##! & 123# $ &
( &#
-./ "
' 7# ## ##13
13
' 7# ## ##13 ##13! ' "
"
%"
'''''''''
'''''''''
" #
#
! " "
"!
& 123!
" :&. %
1D3#
&' % " 0
! '/
' !
> ?? %0A# 8&& &
%
# C#A!
& %
#
%% 1.! "
" " 13
" " ! %
"""$$!
$
" " "$ $!
0 ( !
& 13
13
& %
#
%( / ! 0
! &" "
" "
1 3 1 3 " ""
+! $ 13
13
" " "
" "$ " " $
! / "
""
'
'
!
5! !%%
!%
" !
%% ! %
#C# $ %
# !
% ! ## !
&%& % & %
!&
!
! !
! & 1 3!1 3#
&' %) 1
!
/!
C#A! ( !
! %
% "(! !
"% ( # &
& &% %
"#
%2 + . /! 0 "
' ""
1
3! &" "
""
*!
%
+! $ 13
13
" " "
"
" " " $!
$( !
#
%3 , /$/$
$
!
( "
' $
! ( " " " "
! &" /
/
$
" & * " " #
/
" /
%/
" !
% #
#
H
(*&%#
#
# '#7 711 33 !
!
7 711 33 (#
!
! ()
! 0 <#
" C#< )
&' %4 1' 0
! /
! &"
/
) #
"#
#
H & C#
)
"(
#
(
& # 5 & %
#
%& ( &
! ! ! #
5 & ( ! & &
% " (
& ( 1A! 3# 13
6 # $ %
# = 123! ( *
)
( 5 0/! &" "
" $ # " "
' # )" "" #
'
" ' !
# A#! %
% ( # $ 11 33#$ %
% # 0 !
! # = !
1133# ; #) "% #
$ )
11 33# ' # ##
! &%! ( 7 &
'7;
I
7
I
'!
&I
%
#
$
#
1 3 # #
' 123 #
( 7 & # ( '
% #
'
#