ࡱ>  3:~Root Entry6p|YrRASHu N4Contents30Page 1[^Symbol 92>  !"#$%&'()*+,-./01256789<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~Root Entry6p|YrRASHqN4Contents0Page 1 ^Symbol 92>  !"#$%&'()*+,-./01256789<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~uvwxyz{|}~Symbol 87 2Symbol 867)Symbol 84Symbol 83Symbol 82 %Symbol 81%Symbol 80 Symbol 79    ]X !"#$%&'(S*+,-./013456789:;<>?@ABCDEFHIJKLMNOPQTUVW^_Symbol 11-+2Symbol 7$Symbol 5/, Symbol 10o Symbol 62[Symbol 61o3Symbol 60 Symbol 593Symbol 55!bSymbol 54Symbol 53*qSymbol 52Y /Symbol 50%#LSymbol 49Symbol 48($_Symbol 47Symbol 46)'1Symbol 44XSymbol 22.& Symbol 1512Q YSymbol 2PSymbol 14*G Symbol 16KSymbol 58;   !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~CPicPage CPicLayer CPicFrame ֭轊F"ړ=l:_(, vހ^z UV thb , +4hcrSK14uq?8c  -/ 01\i O,QlU(*74!jf4&VV x,Sb4@ 7A *-% F/+ 2"<.x8fFo9 **4SӤ? #@ @  U  8&I7 4L28=+]?а S =G=4Z^r$2)Ge)Ҁ)6ki׀+9 kUUʀҀ U۸*U* Ȁ C,@?,,h@@Vi˧.8Tހ"x.@U |ˀ4)?!Uk)W7 V@*UU]kTFC%lzEt؀S/V/j V}4I"J4ݞzɖ&׺J 8ܩ-4 Qe434q pw*u'XEk  . #@m ^Afbp 4E?8؀jkjV 4X媞p4 F 4,i4I ۀ8Jʪ] S;, 8r  #84wqSY < j8+Uc4ۿ8dy>耘8b_ဿ;G+E*8+4?L4jT8^48fc;t3.(U4C:=* /!b?7d7qd4 Ht?m>ۀ8F*] , 4WaCEd*?xc<<=m4-LO8+Xj 4FBkҀ)4kɦO m^ 2t4p4>8S4өp4Ob   ?8T,  A!4vvrBj+. RE4\s6g L<vb-Xy1d8 F,Tu{ K4WZK XFJ@  ?4@4Vt?  IwAԀ@U @~ ^  ?܀< B7q U>2}MM  @Uk oj4?`IC4C$4հ<%4D?8V|w =4Z/ݬ^YHWn 2 Bs ه  cj?Z8c K 9J  IUwZ@4"kV*4u7Ty]Dv+ 8i;@ * j*/e!1F)8$n 8Ytqj A#   <% kπj !6q4Y9PU%J jRsjI4~U8ԧj 4d  @ 8ea ~ŀ8Ns 2+* 8ќU  /   @ j,3g }L! \(8}5I&N Z]'%R*(ހAT!B4Il5 v+jU4VA 5iq3U!B  H 3i|ϴgl4t%{DWm+.48MGL;0ـ*U耠b4K@4kU@@V+?jU Fۀ'ZB i4-cT +U ɀ%*y%    /@ U @  D8g:@  L7 >?c'_,\D+V W J81@+^?7>$t BU 4Tn - SP'4X[V8ph'VW 2 Uݤj%9OAuؾ 3 g)J  z ;2U j 5T j('9 eJiSjUk@XV*@*mӀr}x+*Z Y=kU@p 3Ls?O*4Z@as: ۀy  Ā u@?U2' P r To   q%6Ln;x /c*j+j@k*{ T k @7:9V?  ?* @ @U a)ހ SxЀV YSy,DUjU-UrK#d 40ptHЀiق倩@+  рiK?)UU lp[U?@ @*Y   V(4.|p*j Lt4CEgM :E4Pc  ~6*!qCA wU &=2+ A D  NS,7jU >  7q(C@ Z ;?j+?Ƥ tx4%ހYP!% 4.1__94V+r݀qDʀ45RG[(@jU@bK,]88;Iu ? լ8L$ ? 5 "ĀgU@OC8 c@A7|:KGֈ_t IkUU? i>9x8"|Z< 4?i'MU F1[ y\j AV(* j-[c  r)g  e@@, 4s 8hKv a> ,k?>%*k j @j *i 9Uy6 1k !7sؘtU@@}V  _K8V4iod"U4rīm /7TS΀7u[ 8v4ͮ jp!)| 6J  ܀ #Z1,4(;#9+ j52}!l{<  4 Y'(LM@> Q@ i V $_jk@4ƫ8J5Va]4 R9K4i5oT?V(SE C"`"9* @ 8,#Ţ8H2l4CǐG~ T 4\!'fA9t*8B[dF1 YR !2@ 4:z~4Լf-[rJ*U @ t;4!] jU**?*@+ U { 4?7?UU49a-Ӏ/U  w& 8Ge;-`4a,Ljf%k π @K  C84@+ 3"4j8T?84Rw@)n8 Yk2 U+7^(? #(XO wF )]v- $  = Q F|z#4-\*;u7 $#)Q= ̈́V+? 4+*]zj)F; ӛ*kU  T k @ 4l?j %kBy1 J0a G =$(J2J9n؀Ad V j} pҀUj@(mv}k Bl@ |&O+U :*+k *@ "'0$"'[(0 J+Ȁ_)/8(>$E􀊀8HyހܨV.ۀ耚aA8 #4pp1Cٔ񀴀4/^   ڌ T%A 2?&gE-  @Ub t$ G  q{/4d  TO4u/ "H  Fz(;m84(k%n* U 5  - \7X\: tE '€s4?Yh @۾8pdUR ( _k cƘ 6UjU9nU q&΀BDSN^WD46UVf@D# c+Ā ր S ~r 0$r ky=4GĀ8s +?,5&*J/ ) ?To7"zQhp A= T=۷4@A4?@S j y   N8@k@kvψ ZB!B@U@N<? - p,R%{1 /&`1 8?2cj 9qr#ڀ6  F#OS <Dp -$US\ 8T0ǽ7p4?e`w)\pn q vB}h\   ,#Q'Ԁ>/L#)Ѐ[8:jQCV+  + |T 4UR4]8_i6_/q3p74I. 8+x(*Ѐ4ׯ=G1 c q;+4C&I*^V3z(ER{  D+ k] #9T'Ak@@ P&XT4)JA(l *]  tj Um Q V o N ?6GZ$>:!π S@UUUUU+V+qv{o4%2RR+kU+V : ??R@@{ .0iԿY  T V y{ r_ih38/j8w"`6 *B? 8qyT k ' ;jU> !@  2vs  rTU@+Ѷڀ k #"46"t D+1 4Q,De+*j,X  I 8n.x  [/ & U  4Niy":-=# (@ {N=+: >)1P 7lVK.+$L4{k.8+q8r}`/ e/T XMY. @9Uj?j@Y [?hUj ڀ7k "2 @4(X5 Y6kk U U9)y@> QMb&E)4 0~ 2UmD @ <z)UJ0t#2 q?` Layer 1OOIUFԫj+V4j("= 4͋AU?W).>~8VBg=m%0Ԁ_U*?j@U4Yu*a+A!L C8BFe% 1T+34f.V* S7Z ڀ.V**#;Q,Nl@(< * + 4E!}-y4 *(M@* Vhހ4%iDހ@048n)),+*k#*6ji42_UV6jVUjU47 kTWS$Ԁ<*?P Layer 3O  !#$%&'()+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOQRSTUVWXYZ[\]^_`abcdefghijklmnpqrstuvwxyz{|}~CPicPage CPicLayer CPicFrame 6$:222/L0xv ;;Ӵ0 -Kgxv;xv?A Layer 1OOCPicPage CPicLayer CPicFrame .&(Dh4wh<64+s<0<fHt&-[$7 4&YaI 4y?8XGz W*  G `뀨4"J[ ' RSـ+ M )  '^  ` *y*wR :AuZ J.   /  +  m4r<ߒ4/82 8?^x -  4٢K qԀ8hzMD!4#3 <*RjԀ8V_w+ =D$ <@L  !@\r"XW _<<j|K߿퀾܀ Ţ$H!>R<r<<d+ %6 $Du.4#5  V!C77up8T8  :Y' %4Yh4Jv#D!A4:v4)PH<d 4X , 9K ^E(^     & ! ,  + `4ғ ,6 , -J>z !>`!< @I  i9׀ &QNetƀ3p c  D h JH <<^fՀ$8$J4lcl/ 'M8H-d< *%_=.?  Bpw@N<J<p  B  wx̍/u2QM <> a$Go4UWR82 Q <ֶ;2 $@1  OD%  D") j KCp!R!?%  +b4d%W   < 3< $    /*0 &&   >v #=euf&*- L&4h4,  <f4Fz  8+=k @m+7 6'. NL*0V8ߴTh/v[4Kb^   !;x  ?&  windscreenO\4 QlK%G   4AI@TkLv ӀW-p&܀*% W"̀Fsr <-"#GI.) [  4e&<̫ 4\u"nbqc/<+ a:΀8.#D4Q< 7F<(9Y        8=7c8I*R4W 4WOĀ4"&<Hy`Հ8U )#W8GCeqɀ<$I     &g%\4to]# ( 7RMv4wm4*H(   -4N /<#E#L8!m8~V4h0c  7#<4<L! ? 4q'Z3U9  8/w<<r|< 8u 8g#<649|<<fn?4KtH4dh4:5t<2J4~('tо4$4JsH "L*P  $':J,mv) D N5Ӏn%R4T\4 +4~h4xu.%n C}<b*4h=j( ^vD \#C177x_4B)x4I,4M.!:    4 S3K %< j4`w(-308?Ù   '! 09rk;Z!}4` 4Q>D#I64rjb.* 440< 44/7lE65f,;o6&/41^^4q+l<2&+4<\n<<4h8IiB < hK    <iM. 'D44Ů4h<\4v4:<@|4H4>$S#`~ 4eN,&(LS',4^bZ %|'8jؽ#EL .:!F 41f4g4%2`"[4|44#5|^[8 + ?N0  !4*'N2&4 q84öz<4x-ǰ|eImh_f ?u scarfOC ||<8 <$F4pg0%4k4Ee`,V  9 <~{& uJ8.#4rOo !D <vd4XTx<|(@e+юh|Ho6   -#$JG3j1hd>kVap[$8Lx((<ht< q 8R { 27&s^;oI &܀ZA.i$OiW %4gx$% q<4?'C` $!]C ` 8l9Q4K8D-Z <d8u8^xz 0 K* U@<&<<Cv4f4O< #    ,l<\<: 8#]7 )j(À{%*$ H ȈH`~f'Y)4c 8Lf:lg iif!^ D?H&B% }, 79oZW8mွ{( _8{e;4WOn  wA-:u8d1W#/HP r" UĀAՀT> yCU&{P?prQw.HND{h( ?+hC ||<8 <$F4pg0%4k4Ee`,V  9 <~{& 7J jgюfo !D <vd4XTx<|(@8.#4rO&' 8hapLli-lX[$GJO<ht< q 8R { 27&s^;o$p&/` W0diq<x܀WA> р  F %M3)z;?Ca   % G<  <|% рA-f< \B9-Vk<8 ' !]C ` 8l9Q4K8D-Z <d8u8^xz 0 K* U@<&<<Cv4f4O< #    ,l<\<: 8#]7 ){%*$ H ȈH`~5c8R>`mK}7@u| j;3<H<0L<4'K$4:x'$IIt% W8mွ{( _8{e;4Sm-wg;A-:u8d1W[*UU-Q=^rx&W/A W/@ 8p@wHND{*pu?C ||<8 <$F4pg0%4k4Ee`,V  9 <~{& 7J jgюfo !D <vd4XTx<|(@8.#4rO&' 8hapLli-lX[$GJO<ht< q 8R { 27&s^;o$p&/` W0diq<x܀WA> р  F %M3)z;?rCa   % G<  <|% рA-f< \B9-Vk<8 ' !]C ` 8l9Q4K8D-Z <d8u8^xz 0 K* U@<&<<Cv4f4O< #    ,l<\<: 8#]7 ){%*$ H ȈH`~5c8R>`mK}7@u| j;3<H<0L<4'K$4:x'$IIt% W8mွ{( _8{e;4Sm-wg;A-:u8d1W[*UU-Q=^rx&W/A W/@ 8p@wHND{*pu?z"C ||<8 <$F4pg0%4k4Ee`,V  9 <~{& 7J jgюfo !D <vd4XTx<|(@8.#4rO&' 8hapLli-lX[$GJO<ht< q 8R { 27&s^;o$p&/` W0diq<x܀WA> р  F %M3)z;?Ca   % G<  <|% рA-f< \B9-Vk<8 ' !]C ` 8l9Q4K8D-Z <d8u8^xz 0 K* U@<&<<Cv4f4O< #    ,l<\<: 8#]7 ){%*$ H ȈH`~5c8R>`mK}7@u| j;3<H<0L<4'K$4:x'$IIt% W8mွ{( _8{e;4Sm-wg;A-:u8d1W[*UU-Q=^rx&W/A W/@ 8p@wHND{*pu?NlC ||<8 <$F4pg0%4k4Ee`,V  9 <~{& 7J jgюfo !D <vd4XTx<|(@8.#4rO&' 8hapLli-lX[$GJO<ht< q 8R { 27&s^;o$p&/` W0diq<x܀WA> р  F %M3)z;?oCp% рA-f< \B9-V  % G<  <|k<8 ' !]C ` 8l9Q4K8D-Z <d8u8^]-4\88sz.bȵnCv4f4O< #    ,l<\<: 8#CH <> 8Lf~f'Y)4c8mွ( _8{e;4m-g;A-:u8d1[*U-=^r&/A /@ 8p@HND*pu?!l propCPicPage CPicLayer CPicFrame`#y1H8It6z|-4l4 D4 8 4|4 <4VXHJ;- t &=L=Y :P.t6-*4=4 -  4ż'1Vd/<(i4,܀X@ -  ,O; H_"8m   4       % 34        .^- /S LX@4;G4<|. <*|#};-w;2 H1 <<x4P> *  8O+A   )Qx<   R 4]jo {# 4R^<`*4GecVCVI4"t/  O + ^Gm̀ <&* 4Pt 4rEg   8Uˀ *$ e  ,V :kfr%+Q&.Z*H!B5j$H !% ?u`#jIt6z|O4 D4 8 4|4 <4VXh 9HJ;-V&=L=Y : Vd/8"=4򪦼ڀ&Z. v- pP  7 &I#<oo^"C|/f%H6)M@d(%!8|?pOjIt6z|5P D4 8 4|4 <4VXj 4HJ;-V&=L=Y :]K%3&0 `.4yt4ż'1Vd/8"=4򪦼|-47n D4 8 4|4 <4VXHJ;- t &=L=Y : Vd/8"=4򪦼|5P D4 8 4|4 <4VX` 9HJ;-V&=L=Y :W]K%3T&0 `.4yt4ż'1tVd/8"=4򪦼|-4l4 D4 8 4|4 <4VXHJ;- ;@4;G4<|. <*|#};-w0Vd/<( * 8tI O8~21  6. <v8 /4*4  7   PPP222, ?$2 ]:4e <,L 4mO^;4lv'N (%7A$     - &4844r  h 54, 4B - >.Lz7w( S;_w!4}R#<4X^  4n!(  < H*U0<v s%R _;45i   ~v?DS<*6<.<\B ; - 57)T"nl 2<2 >} ?J\dnV >H߀܀.O]LPC)T#b!KQ߀4d1  G @g P 0E~ #<6* % l&P2:4 /`*TSV% 'Z4d@ UW! "L4JHn<(>JGqT4Qjx|04\4H^/4G= "4Vy^46I&4;T,<<<+44 Lπ;14o4 O|h<~4z,41 &*,S< **SF>cxEHWm4zV8X%_:8|pT=w    2<D^8j aI+ '<,Dt 04e"8k  *S+V!" 4N44>@4TX4Z^<5tx44.4a4ca݀T           +Tb4bn4G> Ncn8"j'T+ O&  8^Q&P54uW<ǀ/TB4vD4>J4C 04wv [8'`  8 "</FH6(|- 0 a! 4Z~7oPtqD<L8X+PPW ?(T >T؀<=$Nq"eW_1gm4LV42  -(O8n.W 51< iT  8V  W*,  4Z֞WWL~ 'm $=z4i  W !>S ?F Layer 1OCPicPage CPicLayer CPicFrame CPicSymboll7272l;gZBrlIIl!9!c!WBr{II{!9!c!WBrIIR-RNR~DBrhhi'iCim;BrII!9!c!WBr II !9!c!WBrB7272B;gZBr 7272 ;gZBr7272;gZBr7272;gZBrmmR-RNR~DBrRmmRR-RNR~DBrmmR-RNR~DBrmmR-RNR~DBr..'?"Br'?"BrAA!9]2Br,,!9]2Br  !9]2BrB''B'?"Brd=Br8b1vC8 p4f, 8z6~MXYj<4XXd4c"h< N< B~),qـXQA;n<*T<<8:$gͬ<^4B    <~6n<*4nt񀁀À`ڀ~ NM6<F  @ !RM̀8\/04ez,A4X ^(8>9e {!C < <<:x<<<4a^J4D: <\H 4"<8 ߀|G<   %<\4}< &44H\J+Z<2X<! <.T4rjak0+m>݀~V<,4W44CJA}4VR46  -- #4L"T 4~P4NNF*<<'@   t mb8€ 8 Mwj&Ni;$0J [z&8-Y# ]lV8DZBKd8~HtHۮ6!  4: #<64O>@<4rM<$=Cl;P?3 Layer 1OOM̮ ( <@   << 94<(<5i /?h Nf"<`4p&B 4s<><r4? .Z<<J     <N 4F21 8FT!& D <j$ue  8g8h IK<6   7E'(  Awܘ׀Ȁ tZHu *$W|]w .WD* &6  :*m (0 )   wS0    W<  ( Z 4k~4LiH4< 4 W> 9   (K 2  %2 W2 $  WQCI.c@  4i;8> 5<`t5)^! f  4s&  04z4$,= 23??C1ĶjWO8_?`&C"ր 8;s|@!J8k"=mLz 80I1܀dC}-\/(+cT\O  )W   !!   +W ` (J{56 4L& CW@  <7oF' 3L-s/w  =#,5R:"@  ,u4  <W.C4z 4^ _   T#>Q H}4YB,i=w^  4+E WL4Kj: 44 J <TRW W> * 4.4Z  'wX I& "*$:<x'BWt%>K  2(T?KJpĶjWX     49ǁ)   WV  >  !4S0 W( Z 4k~4LiH4< 4   W  9   (K >  %2 W0 $  WQCIWa <@  4i;8> 5<`t5)^!~4s&  04z4$,=  B23??Yp moving shadowsO.~{<"`<,k 8= % U8ޥ(?Э󀬀;Y@H! (% 38D#w^M;`8e)?;<`T  8xTjC 8G4<~x&?2&Z&?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^`abcdefghijklmnopqrstuvwxyz{|}~w Z VDNkE8]D TT OT$TnT=TuܓT15TUI6S 7 R))TmH>THy T 4#TW (%O17Dơ, 5h6   j%W0i14 /8v߀܀TlJ , B4/CU  U@ <$.1<$1$< ntP0d.M8?XT^HxUhB([ TMka8p98i.6tKoz~)4t !BaT7ULoK 'xZmTBt5/nT ~Tt)T܀xG1`MT W/>{)8SU.54- ? ?}@7D v X 7$HS{,[ 0a\ 46 b[+ :T="9Tk. s T TY2 ܀"E4 B%(u9rTE((W-ۀWm**Q2dT U6@ 4. T(4U<%TV    ; !   ct$v yT'6|*TT.[jـ%T= 'AWtV$I)W4.6P߀2& tQ WJm#4Wd@)kw  z/RUM eW| WN@S"4 );P4r `4ѹ {4DkTF | W W k| U 2 8D8j~aKH&8M(2k4zu]n4UQF694r E&} 82Jp߅.Y> u ~4BGҀ瀤tsrIxt}pN4m/Lv $v 4kztx4&R)WU;0@ $ A' 4JԀUڢ 8.Q,Hv'" . 46H$x:| '>Q{@"41 C6XW#=#G4Şro:(KW843owyBu{,,,fW4 Dܘ WM 0v! #-@ 84zG'HA'6\nM4w?{{AJZXr'4ӀG{57z _'g@4k W/Y"U~  'A   4cÔZa4–yWuw;nN?W5  T! Wk:4w NRP: T-܀Uj0k7/ҀZ0+r[4??|" 7݀&4▜&f> x%w,4ŲhC ̀ 4A܂{Y=;W$ €4Pd_~noA.X3 u& @)A3_+DрTȉ*T!/4Ehptw[\T ?~|VҀҀTTH~4zAD\耥t)sWvV9}ۀ8dNm@D{܀܀~& 6w "'f4k w+B,q`rĀS Bnހx7 )DAـ'4) |}@ 8Y>wpǭMbB ڀw´P8/f&GTg-?  @8 ؀ |O"8Ë4Gn΀ @C}L"}8zT JAA}~  4o^tx G !;TuT= 79Us4<~4QBZ!B}= _ 6. CWCA@&   4UZb4>wZ.!T W r 4w`YAe"fz-48YM@@ =W$t݀D4e<#cFTC t-Ѐ,WpwDԟo"4mw~>A:,+eW4^ } a_b?  4HU*S7nҀ44= ? > |B7C v  8$H=,Z=0_H" 46a\;* :T39To. V T CTX =܀";E4 $'mK9rT''uO:rr4|2ԥ=TM"$Wd3[> T`΀>=ڀI7qo,PU W"73 )vO4)K_4Pz4[DmT  W# U97"Epu;x0j.ӀY*Z4?{! w94# MOH:X T9z܀kWS4st:034DN6W}?&N4hcG2,"ET) s#$W@yҀ tebWrn4h62T|$H)t\2p1TIW^{/-%WGV   B! C  btX$iu :T';*TTh-Z&T'@w} P1]S*T#W338DWWmRT sP W.3Wa@g|~  2/UL1  %W}Cx W! 8 ?M Layer 1OOCPicPage CPicLayer CPicFrame CPicShape(lw\g_f.f *L4M%L.F9&4ƴtˀ?8\̏8I3<`&-4a'Ҁb;I4k0ǑQYm8Ěx({]b^A![A )À8_L;n8L[]8H{9p8A[vc~8``83 e (A\B0-W}7%@b) TR?Ad$& O#o" 2À\89RV4}S,qJz"&C8hK;E{"qj8ڵ.8qg8hW8/a8_?]8X*%KF ;4JA% 4bf 4MG4P4&/'L.  4r(}Ra+S4C~ LX4Zo*S4ګȓ:ހ -} 77&՘M~-_-B 7Q `xuŊ'À4w݊R;w`GMa8D?`J8lWHۀRM8){58:Ys  8}Vl8 {4ZRh8po - # JB%*K3 4up`p88=7u8w:c2dN  8{}88!x6) Rw4v8a+10T[4C6 8AiH4P fM!74< [8$GR Ht4O@F {M$O@88"l#8l}98k>8z \8 U 88 '{"38v-I4mB `9tI2e0 8u=78Zu8RksK$E8V` K8ms=8%g   "{_BS8fMzpJ8~)|R 8uN_0W o$/J8j.STH>m 4\g/)4^OB,^@ 8~ ̀(4!/~S e%!ۀTWq`R"JB74Vy4Zma8 6 4OUF4)nmT8-f4XK*8pmaN4H8%a47| :F5΀<8yQz1u耀8E ^ z 86 }8 ~X;lz" hS8M)Ԯ Ze BtĀ4YS8blix ܀8O,C60Ā8Ȁ 85@ <ddP; rrC8zi64;(4G,({9p:OS\q 8'cd3d8pw>w..8y)  ({T((7 8438k6E{$|&R 8Z8ԥ_ D 8~{aVX8'2b$G83Aw,#D4138n884uE_ A. wh PE9th 8^64q 8.K g%4z8={"bO 5 8wDi8p@8" A/ŀ88z^Y&ZрI; bȮx8lz88ԫi >w\#݀wU';8 < $0!24 d  ,8F!Q8mI(]<`:4?{ -3  8!Ow.I8g378<@2؀]4N24X9(8/%O78<){Q-|8~4/^;@8(\F8c8O 8Ngd!{:'t 4'[r8[_4.me 8 4~8L8N)S 8(% ɀC؀9݀/7$$[T4R+;iutb81 +8aӾ#V4?eO4$DgZ8bd8B5 t;, ID rT 8W`f 8zn4{0}Jf8D NE3`41|)8:d+l|`Wb;18W>8W4X{9oש-08E+8@U$b %:8 /WK/"18l2894w.8  9!ye'@"J43o_ 1.^. 8b04~._4{# 8EH"E8:*U 8ƶq%<Ԁ,5Q^3 B ;%8.4]QED^ 4598|;ͦ8SK34yl(4@ CPicSymbol ]  ] 1 1  || 1 zz1 1? Layer 1OOCPicPage CPicLayer CPicFrame CPicShapeX~eO *J 44Z<^v<&.<4d<F4<>$. \<?TX$<\<L Ed<$ 6$?kg4a5<2?^<Hl<2< j<@ <&'7 4 4, &-X$ ?<.%2!<> :?f89s4a ; $ (< B4eP < PL<<\|g<`8n7!E46<8P8)b<<?`"z x8:\]w8wP>8 g581VT<20? 0v<^6<<Hl<2<  :<  t<V<44 <6<.%2!?$dR<`|x<D4j4%.9 '%'4@&Z<4l< "<j<| <<j<@ <&'7 $. \<<*J 44Z<^v<&.<4d<F4?F><$ 6$?kg4a5<2<0H?.TX$<\<L Ed4 4, &-X$ ? 2d<2&C<td < PL<<\|b<<<P n<<X8 >g?z x8:\]w8wP>8 g581VT<20?s+0v<^6<<Hl<2< <.%2!<>?:$dR<`|x<D4j4%.9 '%'4@&Z<4l< "<j<| <<j<@ <&'7 $. \<<*J 44Z<^v<&.<4d?vDF><$ 6$?kg4a5<2<0H?.TX$<\<L Ed4 4, &-X$ ? 2d<2&C<td&'   <89s4a ; $ (< B4eP < PL<<\|b<<<P n<<X8 >g?z x8:\]w8wP>8 g581VT<20?8 Layer 1OOCPicPage CPicLayer CPicFrame#?F_ |L <@: \ <X.?< ?2<\. <* ?flH<v <4j ?2_F?F_N0 Rh8~  6r t<l& <:? b<  4Fk0?@:$ <*J<<<6 ?xR<$&Z?\h <$ <v?0N2<R?*<|(\4Hxd?( t\<\8Ҭ8-7L<*VB$ 8] Vq\0K" 4!8PZ   hUR0F 4fL?}yK?F_bR\tl?" B2$<>b 4Dp8?",p <<<6 <8<L4mz  iVS 44YIV? 4?F_V <>n|<c T60axЫ-//< "<:voJ6{)8;i ;>9tM8˙87q 28{ Ca8{Lf ,D)U%<*Lp'R& 3d,W 8m:=2'&e=#8?8%G#4V84/(O" <"\8O[98\^<(Z8Kt>ZitsxFfr8Ff tnJ)L    <Ɣ)VSp$0=x{jTl<.<45OW=s $րJ 8'OLMWku$I 0V (4G1C< "m<( 49 / ,D < @<`<<( <87Qf4GK#4Wў" 8TJִXTUt-'a 4nb4+P4 x&4KD<2H%=<}W Q T ̸ t AT [U J& 8+ E+x tdx m9 u    R;,] %9WV8Di>T&f# \ .t < vf8`xz@+; 4z 4'0~6 WEq@zTe W s8 G %c$`u*4wO w{Y]wWؖ"#S"Tx׀Ѐ+ Xxֱ{hR] 5 4PHEw [~;5 M4K|W-pp &O/P<B*  * '<C}<4 I x=_&'9]' <,$ <8h8 qf .8+y&<0"t<<(C4P@4u4r Y4  (=k4I"* 8#k8%<X 8X=Sj 8ɘj4Ql<<  <V4p<"<w4Ok 4<2RR :ACp8u<q4KT < <<< <4B:&) <$ -d<L 'Q'2)R8`:44I W (> |8+}4>G35T q8w~x WL:YyS _    8@au{ UR@~28Wet ;d941ipcp W  ټހ4ղ4|U@!A U >:W xvYT  :1{ N #8C+T g,  5 O7DE #Nx qZ[5<L8-j#bW ? .F#i4  8Da)T{ P { JV_ 4M34x68nu W>c 4?{  P0DWK3W 4  t >PkD ްx Vk4L[K{Ejn%Z88~+\M9 c 60aЫ-//< "<:voJ6)8;i ;>9tM8˙87q 28{ Ca8{Lf ,D)U%<*Lp'R& 3d,W 8m:=2'&e=#8?8%G#4V84/(O" <"\8O[98\^<(Z8K>ZisFfr8Ff nJ)L    <p$0={jTl<.<45OW=s $րJ 8'OLMku$I 0V (4G1C< "m<( 49 / ,D < @<`<<( <87Qf4GK#4Wў" 8TJִXTUt-'a 4nb4+4 x&4KD<2H%=<} Q ̸  A [ J& 8+ E+ td m9 &f# \ .t < vf8`z@+; 4z 4'0~6 n s8 G %c$]*4wO {Y]wؖ"#"x׀Ѐ+ Xֱ{hR] 5 4PHE [~;5 M4K|-pp &O/P<B*  * '<C}<4 I x=_&'9]' <,$ <8h8 qf .8+y&<0"t<<(C4P@4u4r Y4  (=k4I"* 8#k8%<X 8X=Sj 8ɘj4Ql<<  <V4p<"<w4Ok 4<2RR :ACp8u<q4KT < <<< <4B:&) <$ -d<L 'Q'2)R8`:44I (> |8+}4>G35 q8w~ WL:Yy _    8@au UR@~28We ;d941ipcp   ټހ4ղ4|U@!A >: xvY  :1 N #8C+ g,  5 O7DE #N qZ[5<L8-j#b ? .F#i4  8Da){   JV_ 4M34x68nu >c 4?  P0Dz|K3 4   >PkD ް Vk4L[KEjn%Z88~+\M9 0  ?o ?t Layer 23pe{q`W@P,~  P <X  &Z8Տ `)8';8B"<$@NZL  <,~<nCPicPage CPicLayer CPicFrameӫPPPM]8}Iq3~<j ~( +?<F<80 4}&GG̗OOOwB0H44F%F4j82v}2fW  4gdme4HF?j  <4 h 48@h&>C W%e TLV8<9V4F,tA,?& CPicShape<W{ kP&L4uC38 Fe]H4M3WB h ڬ8`O-C W% !Q <(,ĀI#!B3 C"',-46R4F 9{G}2f>? h p)Z64濓"o߀ W6CO8n&L^4heH 4o3";0(tP}?~/ 6W ݀4p)Z64濓"o߀ W6CO8n&L^4heH 4o3";0(tP}2f?.1dW 8 k55ʡ 4  h ڬ8jg V/ HC W%2 4,G#{8;d4UW+= B8oxLz}2f>?z# /ON <.lb~܀C4 0k&L/6< o='M.G)R+Y}?G#~P+<r^  /ON <.lb~܀C4 0k&L/6< o='M.G)R+Y}2f?2 paper3CPicPage CPicLayer CPicFrameA)- )Q!        6! , 5Y F = :(,43π+iQ&   9 . '$(     Y0UH wT4"4d&L6,V8]8'4L2 >#:V > h<4v u ΀>J/ho'p/dzwN. D$4I#,H*nL    i0Ҁ/j\  l  , (  )GB   F#,& Y5D ʀ([#l);  A %f{o% {a &:5n%7 ?m.B>?oA)~B?u  )Q!        6! @ /  F = :(,43π+i 5:&   9 , '$(     Y0UH wT4"4d&L6,V8]8'4L2 >#:V > h<4v u ΀>J/ho'p/dzs/wN. D$4I#,T*nL    i0Ҁ/j\  w )G  , (B   D!,& Y5D ʀ([#l);  A %f{o% {a :5n%7 ?m.B>?kA)- )Q!   !     6! ) 5Y F = :(,43π+iQ&   9 W$(     Y0',9 wT4"4d&L6,V8]8'4L2 >#:V > h<4v u π>J/ho'~/dzwN. D$4I#,T*nL    i0Ҁ/j\  l  , (  )GB   > ,& Y5D ʀ([#l);  A %f{o% {a 5n%7 ?m.B:>? Layer 1OOCPicPage CPicLayer CPicFrame CPicSpriteVW>|@/&ӫ??!jpo:Bk8_?88mE4b l<<(^ - +$8+ 8I- ketq <p.<2p <<~I)Nm 8;Td^4E<,+ S<188 8uq8B\8UU8e~ (P( 0<R2f8Ƽ.K 4f@88π3s+_4U\ D*@ v&.<<44L24TP+BHzz%')T?}8\-<J4._ $m2.%Ga/@yn5X{8\Ps@*8Zk4RAe{ Soegڀ(5 G<U & & 4I+4rS{܀9ݥ=z7ݬ8vu < $˟4s8<<~:*4+82xt*<<8j <Z  @-<( <2<6<|)4 D838Ho94PvȺZ d_47:a4 z%ǀ4kh+8:*\T#DB4fCB<)8=8RLOWS8GH 8 "A8 ;<8Gq*A )C6T  Ac1 } u 2{ q0+ȀDf=|  8OF"8aW8kL(w h8 8@D> ;// 8Qc  jH8. '434G ]+@4.8s1! -.  #uI +$K!<[{iE}.F_ P =13d<<< \4|ρ4 "  +U 6"^d.D,ـx  !M Dd26 5a 9rLc4W2,0_`iJ<5!|{X  #:1q7#܀4\s<  <:6<#݌!<<X8<(<       3+ 4l  \| {,<6Z4`*8 l^[r< *F4K0 < < $4ɖhh8xJ344   M2̀1bh$BV Pa  0 +,3$+ 5t  4S_~W8Rf A? Layer 1OOCPicPage CPicLayer CPicFrame.PPP"+"" D   !  ( %P V#"D  %V4" A.M-  $4)4(?f$.PPP&+"" D "  !  ( %P #"Dx % V A.M"+  $4)4(-?.PPP !  ( %P  ($+"" D ",#"D  %JA.M" +  $4)4(-?|.+^  !  ( %P &Z"+"" D 6#"DZ % " A.M(-  $4)4?^.+PPPl  !  ( %P NX+"" D ",#"D  %V4" A.M-  $4)4(?[.+PPPz  !  ( %P w"+"" D 6#"DZ % V A.M"+  $4)4(-?.PPP !  ( %P  ($+"" D ",#"D  %JA.M" (-  $4)4?R.+PPPU^  !  ( %P &Z"+"" D U6#"DWZ % " A.MU-  $4)4(?h Layer 1OO5      !"#$%&'()*+,-./0123A6789:;<=>?@BCDEFGHIJKMNOPQRSTUVWXZ[\]^_`abcdefghijklmnoprstuvwxyz{|}?9*4#R1*M?av4C4\?J?*>" +?JWb   ?.    ]X !"#$%&'(S*+,-./013456789:;<>?@ABCDEFHIJKLMNOPQTUVW^\`_abcdefghijklmnopqrstuvwxyz{|}~Symbol 11-+2Symbol 7$Symbol 5/, Symbol 10o   39DEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~CPicPage CPicLayer CPicFrame(8 i 83(8"8Xd<@ <><<P hk?S Layer 23`#8u!E18bd" 8V(88@K/8) d8wFv 8q#,'4xJpg| 8[8e- 8ZR 8b8ebE5',NꀩYo[ 8>i4 8.H0%vZ8MB8;8%&8OY Q   88F 8]{ Oz8r:18p]fD: 9 B4}Q<dNNն6 '+X "8?i^1z8cC97mmFK; @8yf~8:,P8]86>-M-5&?+Vc5wg    818^-k81au8QJD  &M   8 m "8F Fe;e"X ?@:C 8% BCڀX   hJ8<߀w?X8= ;D}#68hB0U8uhR8S/8i]I!.@8is"8>_e &"N8x 8GiSwO$WZYn8Eq]8>PA 87 ;wX8# &8VP E ޢ 682 ]K3h?4 Layer 1OOCPicText 4 | Trebuchet MS(welcome to warp zone   ct@  | Trebuchet MS(Please input a | Trebuchet MS(slide number | Trebuchet MS( and press  | Trebuchet MS(enter | Trebuchet MS(.    Trebuchet MS`( destnumX`#8!{<&S1UE8aK4It !* 8O63@ـJ4<44ۅ8͸*h+X 3pW l - da  =C)8Qz y \:4^K_ 4M1.4R.~Xq 9uj d1 ?$|!L@4a _jRG#58 "=>4V .i|Ju+"8?)* / %>TP4TkNN {  F 4Ynv"PV 9Br4VMg Հ4'$^mɀ8?0pb4l / b*n04;72K?6 Layer 3OyPress "3") { destnum.text = int(destnum.text) * 10 + 3; } on(keyPress "4") { destnum.text = int(destnum.text) * 10 + 4; } on(keyPress "5") { destnum.text = int(destnum.text) * 10 + 5; } on(keyPress "6") { destnum.text = int(destnum.text) * 10 + 6; } on(keyPress "7") { destnum.text = int(destnum.text) * 10 + 7; } on(keyPress "8") { destnum.text = int(destnum.text) * 10 + 8; } on(keyPress "9") { destnum.text = int(destnum.text) * 10 + 9; } on(keyPress "0") { destnum.text = int(destnum.text) * 10 + 0; } on(keyPress "<Escape>") { _root["warpzone"].removeMovieClip(); } on(keyPress "<Backspace>") { destnum.text = "0"; } on(keyPress "<Up>") { destnum.text = "0"; } on(keyPress "<Delete>") { destnum.text = "0"; } on(keyPress "<Space>") { _root.gotoAndStop(int(destnum.text)); _root["warpzone"].removeMovieClip(); } on(keyPress "<Enter>") { _root.gotoAndStop(int(destnum.text)); _root["warpzone"].removeMovieClip(); } Symbol 73[Symbol 721H Symbol 714 :Symbol 70      !"#$%&'()*+,-./0 23456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ\]^_`abcdefghijklmnopqrstuvwxyz{|#~    !"%$?* Layer 1OOCPicPage CPicLayer CPicFrame CPicSpriteJkonClipEvent(load) { /* create array of boxes */ /* number wide/high */ boxw = 12; boxh = 9; wid = _root._width * 0.6; hei = _root._height * 0.6; boxes = []; var i = 0; var rootx = - (wid/2) + 40; var rooty = - (hei/2); for(var y = 0; y < boxh; y ++) { for(var x = 0; x < boxw; x ++) { i ++; this.attachMovie("abox", "abox" + i, i); var s = this["abox" + i]; s.xx = x; s.yy = y; /* how big is an individual abox then? base it on the width */ var scale = wid / (boxw * s._width); s._x = rootx + x * scale * s._width; s._y = rooty + y * scale * s._height; s._xscale = scale * 100; s._yscale = scale * 100; s._rotation = i; s._alpha = 20; boxes.push(s); } } } onClipEvent(enterFrame) { for(var i = 0; i < boxh * boxw; i ++) { boxes[i]._rus`us`s0us`s@u`q^us]`s[u`su`su`s'Cu`?8 Layer 1OOCPicPage CPicLayer CPicFrameCPicText8 lBlBb$ Impact"(0PARENTAL. BB5W" Impact"(EXPLICIT WORLDS 3 Impact"(ADVISORY,600Y0 36Y0B060[^ƣ00:\0*:TTV0f0^0<?V Layer 1OOCPicPage CPicLayer CPicFrame CPicShape=olPlPsK&6pPs6?~ Layer 1OOCPicPage CPicLayer CPicFrameCPicText ,  Trebuchet MSl(J  Trebuchet MSl(1  Trebuchet MSl( ... J  Trebuchet MSl(n f  Trebuchet MSl(JP(.?6 Layer 1OOCPicPage CPicLayer CPicFramed000?[O Layer 1OOCPicPage CPicLayer CPicFramed 0@0@0 ?v Layer 1OOCPicPage CPicLayer CPicFrameCPicText GG@!Z@  Trebuchet MS(  Trebuchet MSs( A   Trebuchet MSl(true @   Trebuchet MSs(w CPicSpriteGGO2 R,?D Layer 1OOCPicPage CPicLayer CPicFrameCPicText GG'2Z@  Trebuchet MS(,   Trebuchet MSs(w'  Trebuchet MS(   Trebuchet MSl(exists  Trebuchet MSs( A   Trebuchet MSl(true @   Trebuchet MSs(w' CPicSpriteGGO'? Layer 1OOCPicPage CPicLayer CPicFrame CPicShaCPicPage CPicLayer CPicFrame CPicShape3jߦbՅ5`Wwx9=8!C#U46Lp7^ #,-A`L)W+2π<<4(4Fէ~-  4eh/<"g4>W5~0 x>R} '<84L/&6xh:+T0  < " 4n= P/tTL14]x<>q8_pQ:<242uH 9sTM<&r  ?8OE{{xJ<4w7WtVB4`a 8&)+ P T_U-W6z  6n4kt/[iUWm^Nހ$'3<Ԁ*|moCW4r 9 ـCTR   -==4:X  WxqL+;Etw<f<n40gn))`-<<"  2! 9)4V) , %?T $4Z F <2h^Jp24!ߪD4p%nG@TZU<W(?k: Layer 1OOCPicPage CPicLayer CPicFrame CPicShape5< l:T(N jWD; 4+) ; g4+-9S ( 4+Cpc|x?TKJ6jTm1dT&   CT6;  ) != # <&F{݀4@2g4A45Gt(>*$:  (PS/ T 4+)T3 $<   & ;| !: T֚ e 88q4L4bߖ؀tѮΰRT9TbWsQU6c|4F*$s5iU:  ,3{+y L =q H!80 9 I8<0=]88]v4 wA〤)"  G T   ,3",3  W>ۀW4+)  P% *,W su@W4&,3  2G 4+) 4+)  EcQ s wQR=<hD W1 +,i! 7 WJ     W:44   4(2kKT(FTa%4֢0x?SO X4v-dtPM=Ldv?TUՀ = 0T43o# 880      I  T(yQ)&EV7Zm8L6?W11M83:"<N.v)؀T3ހ|  Pg WN :܀4СDtpW_fǀCTz1L3w p6(2 WrN Tq U vԀ?[zWN 47D  X W($,3  Sq4 P7;΀4_:49PR<` S0/6Ts UAS^ۤqts]uWsM{4fcy4ou4\   8aB8'D46irns4XX I J3;n8PJ8pW^fr={T3r4_ Ts}*ag.TOP4\.:Ux.W"4 z!;)Nd=ހ}E}ۿ ?ݯ怼 V l#f#JԀ\ GlLMB0 #EWz>t-~PW*98\At ض-ìJ 36@6l 'E)f )4SA| 4w ew_eg׃Ae#g  8Dl<d4gϭaW#7Z 0 wT(UWU#O\5 |  ^  .WPS)8 RW7TW TEs-4&$,)=6e8WvTJPbrW,?N${0b/8m,W:wh V[  ?!R Layer 1OOCPicPage CPicLayer CPicFrame CPicShapeL `عPPPuArN,W1Q4s   +%Z <P@Lrk44k0<bT ˀ,W-J Z<T  ]WR[~T00{D 5&z:W+ ?@  Layer 1OO      !"#$%&'()*+,-./012456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstpe-w`jjjV.F[&4$J <<" < 0:/7<&*<49((P" ?v<j<<2?@BCDEFGHIJKMNOPQRSTUVWXZ[\]^_`abcdefghijklmnoprstuvwxyz{|}CPicPage CPicLayer CPicFrame CPicSprite'h'hM E?}v'h'hMy?%; backgroundO''I?]ny?////qBq////rCr? Layer 1OOCPicPage CPicLayer CPicFrame1 l:P@00 0 ?T Layer 1OOCPicPage CPicLayer CPicFrame CPicShape("#$ :<1 3>$ r$O/0u0ppp0ppepPppVPpp0`0/pvP}ppP^pip,p9pp&pp slides belowCPicText() )$  Hockey is LiftWhat is  Hockey is Lif`t Modal Logic   Hockey is Liftand what is it  Hockey is Lif}tgood for? CPicShapes)0 X-X-f,0 H Verdana"(Tom Murphy VII {{*J%   Trebuchet MSBB([adult version]?EN?9 7  Trebuchet MSw(Purpose?;2 7  Trebuchet MSw(Purpose yyzE  Trebuchet MS(Teach you  Trebuchet MS( what  Trebuchet MS`(modal logic  Trebuchet MS(   Trebuchet MS(is  Trebuchet MS(. yyN  Trebuchet MS(Show you  Trebuchet MS( some things it's   Trebuchet MSߦb(good for  Trebuchet MS(.?" 7y  Trebuchet MSw(Method  7  Trebuchet MS(Review/sketch the   Trebuchet MS (judgmental methodology  Trebuchet MS( (for "  Trebuchet MS(ordinary  Trebuchet MS(" logic).? & 7y  Trebuchet MSw(Method  7@  Trebuchet MS3(Review/sketch the judgmental methodology (for "ordinary" logic). =  Trebuchet MS(Extend to   Trebuchet MSs(modal reasoning  Trebuchet MS(.?k 7y  Trebuchet MSw(Method  7@  Trebuchet MS3(Review/sketch the judgmental methodology (for "ordinary" logic). =  Trebuchet MS3(Extend to modal reasoning. I):  Trebuchet MS(Show some  Trebuchet MS}(example uses  Trebuchet MS(.?  7@  Trebuchet MSw(Warning%&!%&!N ?0 7@  Trebuchet MSw(Warning%&!%&!N  &?5j  Trebuchet MS"(This is just  Trebuchet MS"(one of many  Trebuchet MS"( presentations of  Trebuchet MS}"(modal logic  Trebuchet MS"(. =, .*+&@  Trebuchet MS"((  Trebuchet MSs"(cf  Trebuchet MS"(   Trebuchet MS֭"(Pfenning  Trebuchet MS"(/  Trebuchet MS֭"(Davies  Trebuchet MS"( '  Trebuchet MS"(01  Trebuchet MS"()?2 7@  Trebuchet MSw(Warning%&!%&!NP# &?5j8  Trebuchet MS"(This is just one of many presentations of modal logic.  /C/@  Trebuchet MS"(Not  Trebuchet MS"(comprehensive  Trebuchet MS"( (or   Trebuchet MS"(standard  Trebuchet MS"(!)?u 7   Trebuchet MSw(Logic 4+ D  Trebuchet MS"tFor our purposes, a logic:?" 7   Trebuchet MSw(Logic 4+ D  Trebuchet MS"tFor our purposes, a logic: M X+  Trebuchet MS"t   Trebuchet MS`"tDefines  Trebuchet MS"t "  Trebuchet MS"ttruth  Trebuchet MS"t"?@K 7   Trebuchet MSw(Logic 4+ D  Trebuchet MS"tFor our purposes, a logic: M X+  Trebuchet MS"t   Trebuchet MS`"tDefines  Trebuchet MS"t "  Trebuchet MS"ttruth  Trebuchet MS"t" M 8Nl   Trebuchet MS"t... by telling us how to   Trebuchet MS`"tprove  Trebuchet MS"t that   Trebuchet MS"tthings  Trebuchet MS"t are true.?xX 7   Trebuchet MSw(Logic 4+ D  Trebuchet MS"tFor our purposes, a logic: M X+  Trebuchet MS"t   Trebuchet MS`"tDefines  Trebuchet MS"t "  Trebuchet MS"ttruth  Trebuchet MS"t" M 8Nl   Trebuchet MS"t... by telling us how to   Trebuchet MS`"tprove  Trebuchet MS"t that   Trebuchet MS"tthings  Trebuchet MS"t are true.?6k 73  Trebuchet MSw(Propositions $%`  Trebuchet MS("it is raining." :=  Trebuchet MS("2 + 2 = 2."  $=   Trebuchet MS("for any proposition   Trebuchet MS(A  Trebuchet MS(, if   Trebuchet MS(A  Trebuchet MS( is true then   Trebuchet MS(A  Trebuchet MS( is true."P9 9g5>?\ 73  Trebuchet MSw(Propositions ; rD  L trebuchet ms"tfor  L trebuchet ms"tthis L trebuchet ms"t talk, it's  L trebuchet ms"tnot so important+ L trebuchet ms"t what the propositions are talking about ( L trebuchet mss"train L trebuchet ms"t).?DI 73  Trebuchet MSw(Propositions ; rD U L trebuchet ms3"tfor this talk, it's not so important what the propositions are talking about (rain). 2Gn  L trebuchet ms"tmore important: the way we  L trebuchet ms`"tput propositions together L trebuchet ms"t (" L trebuchet ms"tconnectives L trebuchet ms"t")?@. 73  Trebuchet MSw(Propositions ; rD U L trebuchet ms3"tfor this talk, it's not so important what the propositions are talking about (rain). 2G Yn  L trebuchet ms"tmore important: the way we  L trebuchet ms`"tput propositions together L trebuchet ms"t (" L trebuchet ms"tconnectives L trebuchet ms"t")w@) 8[C8^!t?D2|<L<: 7   Trebuchet MSw(Judgments 5H5Hp+- p Trebuchet MSs(A p Trebuchet MS(  p Trebuchet MSl(true p Trebuchet MS(,  p Trebuchet MSs(B p Trebuchet MS(  p Trebuchet MSl(true p Trebuchet MS(, ...  p Trebuchet MSs(C p Trebuchet MS(  p Trebuchet MSl(true0}5H5H0}O@ ` g$ p Trebuchet MSs(A p Trebuchet MS(,  p Trebuchet MSs(B p Trebuchet MS(,  p Trebuchet MSs(C  p Trebuchet MS(are propositions  J  p Trebuchet MS`(Assumptions p Trebuchet MS( about the  p Trebuchet MSl(truth p Trebuchet MS( of other p Trebuchet MS(propositions 6f| p Trebuchet MS֭(Conclusion C)< p Trebuchet MS(just syntaxPPB6bl<<N<&D\<4Mh4Df65!44Q0<H<tg* 4\ Z,:()< )6w*R *_<  <<4}K-4xEW!24J&V8<?\ 73  Trebuchet MSw(Propositions ; rD  L trebuchet ms"tfor  L trebuchet ms"tthis L trebuchet ms"t talk, it's  L trebuchet ms"tnot so important+ L trebuchet ms"t what the propositions are talking about ( L trebuchet mss"train L trebuchet ms"t).?DI 73  Trebuchet MSw(Propositions ; rD U L trebuchet ms3"tfor this talk, it's not so important what the propositions are talking about (rain). 2Gn  L trebuchet ms"tmore important: the way we  L trebuchet ms`"tput propositions together L trebuchet ms"t (" L trebuchet ms"tconnectives L trebuchet ms"t")?@. 73  Trebuchet MSw(Propositions ; rD U L trebuchet ms3"tfor this talk, it's not so important what the propositions are talking about (rain). 2Gn  L trebuchet ms"tmore important: the way we  L trebuchet ms`"tput propositions together L trebuchet ms"t (" L trebuchet ms"tconnectives L trebuchet ms"t")w@) 8[C8^!t?D2|<L<: 7   Trebuchet MSw(Judgments 5H5Hp+- p Trebuchet MSs(A p Trebuchet MS(  p Trebuchet MSl(true p Trebuchet MS(,  p Trebuchet MSs(B p Trebuchet MS(  p Trebuchet MSl(true p Trebuchet MS(, ...  p Trebuchet MSs(C p Trebuchet MS(  p Trebuchet MSl(true0}5H5H0}O@ ` g$ p Trebuchet MSs(A p Trebuchet MS(,  p Trebuchet MSs(B p Trebuchet MS(,  p Trebuchet MSs(C  p Trebuchet MS(are propositions  J  p Trebuchet MS`(Assumptions p Trebuchet MS( about the  p Trebuchet MSl(truth p Trebuchet MS( of other p Trebuchet MS(propositions 6f| p Trebuchet MS֭(Conclusion C)< p Trebuchet MS(just syntaxPPB6bl<<N<&D\<4Mh4Df65!44Q0<H<tg* 4\ Z,:()< )6w*R *_<  <<4}K-4xEW!24J&V8<( p Trebuchet MS(Assumptions at possibly different worlds < 49 <T < 4}Z49Z<(n<(<t< bf?pZ 7;  Trebuchet MSw(Modal Logic:  Trebuchet MS(Judgmentally U p Trebuchet MSs(A p Trebuchet MS(  p Trebuchet MSl(true @  p Trebuchet MSs(w1 p Trebuchet MS(,  p Trebuchet MSs(B p Trebuchet MS(  p Trebuchet MSl(true @  p Trebuchet MSs(w2 p Trebuchet MS(,  p Trebuchet MSs(w4 p Trebuchet MS(  p Trebuchet MSl(exists p Trebuchet MS(, ...  p Trebuchet MSs(C p Trebuchet MS(  p Trebuchet MSl(true @  p Trebuchet MSs(w3::O  $"J  p Trebuchet MSs(Also:  p Trebuchet MS(assumptions about the p Trebuchet MSl(existence p Trebuchet MS( of  p Trebuchet MSs(worlds<4M7X <4<z(<:`<@?F 72  Trebuchet MSw(Modal Logic:  Trebuchet MS(InferenceZ% UU~o w>  Trebuchet MS(We have all the rules from "  Trebuchet MS(regular logic  Trebuchet MS(,"  Trebuchet MS( with   Trebuchet MSs(explicit worlds  Trebuchet MS( added.?Bds&D= 72  Trebuchet MSw(Modal Logic:  Trebuchet MS(InferenceZ% UU~o w>  Trebuchet MS(We have all the rules from "  Trebuchet MS(regular logic  Trebuchet MS(,"  Trebuchet MS( with   Trebuchet MSs(explicit worlds  Trebuchet MS( added. /Z@  Trebuchet MS(  Trebuchet MSs( A  p Trebuchet MS(  Trebuchet MSs( B   Trebuchet MSl(true` ` Oho #VZ@  Trebuchet MS(  Trebuchet MSs( A   Trebuchet MSl(true % %O ~('}$Z@  Trebuchet MS(  Trebuchet MSs( A  p Trebuchet MS(  Trebuchet MSs( B   Trebuchet MSl(true @   Trebuchet MSs(w.-).-)Or: ,-Z@  Trebuchet MS(  Trebuchet MSs( A   Trebuchet MSl(true @   Trebuchet MSs(w0000O{ b'  Trebuchet MS (becomes...dPZH?}s 72  Trebuchet MSw(Modal Logic:  Trebuchet MS(InferenceZ% UU~o 4   Trebuchet MS(There are  Trebuchet MS}(new rules  Trebuchet MS( for and , of course.=u=uQ= = RD ? dsRIB] 72  Trebuchet MSw(Modal Logic:  Trebuchet MS(InferenceZ% UU~o 4 *  Trebuchet MS3(There are new rules for and , of course.=u=u3Q:= = 3R GG8@!Z@  Trebuchet MS(  Trebuchet MSs( A   Trebuchet MSl(true @   Trebuchet MSs(w8 GG8 O3x GG@%Z@  Trebuchet MS(  Trebuchet MSs( A   Trebuchet MSl(true @   Trebuchet MSs(w'AI)GGAI)O ,e ,e Rc?dc#B@ 72  Trebuchet MSw(Modal Logic:  Trebuchet MS(Inference DD:Z  Trebuchet MS(Proving that   Trebuchet MSs(A  Trebuchet MS( is   Trebuchet MSl(true  Trebuchet MS( is trickier:H}  d dH} RsQ(U$(U$SYM((dTBY?U 72  Trebuchet MSw(Modal Logic:  Trebuchet MS(Inference(U$(U$S ((3Te  *]AZ  Trebuchet MS(To show   Trebuchet MSs(A  Trebuchet MS( is  Trebuchet MSl( true  Trebuchet MS( at some world   Trebuchet MSs(w  Trebuchet MS(...}=,1\1\}=,R pd#B@?J 72  Trebuchet MSw(Modal Logic:  Trebuchet MS(Inference(U$(U$a&SyR GGq'2Z@  Trebuchet MSsP(,  Trebuchet MS(   Trebuchet MSs(w'  Trebuchet MS(   Trebuchet MSl(exists  Trebuchet MSs(  Trebuchet MSsP(A true @ w'(GG(a&O|8%  ]D @  Trebuchet MS(Assume a   Trebuchet MSs(hypothetical world   Trebuchet MS((  Trebuchet MSs(w'  Trebuchet MS() about which   Trebuchet MS}(nothing is known  Trebuchet MS(...d#B@?K 72  Trebuchet MSw(Modal Logic:  Trebuchet MS(Inference(U$(U$a&SK GGq'2Z@  Trebuchet MSM(, w' exists  Trebuchet MSs( A   Trebuchet MSl(true @   Trebuchet MSs(w'(GG(Oy   1 @  Trebuchet MS(And prove that   Trebuchet MSs(A  Trebuchet MS( is   Trebuchet MSl(true  Trebuchet MS( at  Trebuchet MSs(that world  Trebuchet MS(.dc#B@?j 72  Trebuchet MSw(Modal Logic:  Trebuchet MS(Inference FZ@  Trebuchet MS(The rules for are similar (  Trebuchet MS(dual  Trebuchet MS(!)m# =u=um# Qr?dsR?B] 72  Trebuchet MSw(Modal Logic:  Trebuchet MS(Inference FZ@%  Trebuchet MS3(The rules for are similar (dual!)m# =u=um# MQB GG8@!Z@  Trebuchet MS(  Trebuchet MSs( A   Trebuchet MSl(true @   Trebuchet MSs(w8#GG8#O3n GG@Z@  Trebuchet MS(  Trebuchet MSs( A   Trebuchet MSl(true @   Trebuchet MSs(w'AQGGAQO~5,]#WWW,]#R\`?j 72  Trebuchet MSw(Modal Logic:  Trebuchet MS(Inference 006@!Z@  Trebuchet MS(  Trebuchet MSs( A   Trebuchet MSl(true @   Trebuchet MSs(w 00 O- GG'Z@  Trebuchet MS(  Trebuchet MSs( C   Trebuchet MSl(true @   Trebuchet MSs(w'y+GGy+O+ +Fչ+F+F Rx d!`OZ@  Trebuchet MS(  Trebuchet MS(,   Trebuchet MSs(w''  Trebuchet MS(   Trebuchet MSl(exists  Trebuchet MS(,   Trebuchet MSs(A  Trebuchet MS(   Trebuchet MSl(true @  Trebuchet MS(   Trebuchet MSs(w''  Trebuchet MSs( C   Trebuchet MSl(true @   Trebuchet MSs(w'z5#z5#OcdcQYO)J?' 7d  Trebuchet MSs(Applications  ;  Trebuchet MS(That's what modal logic   Trebuchet MS`(is  Trebuchet MS(.  !3  Trebuchet MS(So, what is it   Trebuchet MS`(good for  Trebuchet MS(??8 76  Trebuchet MSs(Applications: Philosophy Z N \:  Trebuchet MS(Modal logic  Trebuchet MS( has been used for about  Trebuchet MS`(100 years  Trebuchet MS( in  Trebuchet MS(philosophy  Trebuchet MS(. $+-Q  Trebuchet MS((  Trebuchet MSs(cf  Trebuchet MS(.   Trebuchet MSߤ[(Lewis  Trebuchet MS( '  Trebuchet MS(19  Trebuchet MS()?k 76  Trebuchet MSs(Applications: Philosophy Z N \:  Trebuchet MS(Modal logic  Trebuchet MS( has been used for about  Trebuchet MS`(100 years  Trebuchet MS( in  Trebuchet MS(philosophy  Trebuchet MS(. *,[(  Trebuchet MS(As a pure study of "  Trebuchet MS}(necessity  Trebuchet MS(" and "  Trebuchet MSs(possibility  Trebuchet MS(."!  @ *@  Wingdingss(?J 76  Trebuchet MSs(Applications: Philosophy Z N \:  Trebuchet MS(Modal logic  Trebuchet MS( has been used for about  Trebuchet MS`(100 years  Trebuchet MS( in  Trebuchet MS(philosophy  Trebuchet MS(.i*& uuh5  Trebuchet MS`(Gdel  Trebuchet MSs(  Trebuchet MS(used it to "  Trebuchet MS(prove  Trebuchet MS(" the existence of   Trebuchet MS(God  Trebuchet MS(, revising the ancient "  Trebuchet MSߤ[(Ontological Argument  Trebuchet MS(!"?t 7d  Trebuchet MSs(Applications ~E   Trebuchet MS(But let's look at   Trebuchet MS (computer science  Trebuchet MS(  Trebuchet MS(applications  Trebuchet MS(.?d 7d  Trebuchet MSs(Applications&  K   Trebuchet MS(There are  Trebuchet MS`(many ways  Trebuchet MS( to interpret the "  Trebuchet MSs(worlds  Trebuchet MS(" in  Trebuchet MS(modal logic.?LP 7/D  Trebuchet MSs(Applications:   Trebuchet MS(Security Systems ]"-a&  Trebuchet MS((  Trebuchet MSs(cf  Trebuchet MS(.   Trebuchet MSĶj(Pfenning  Trebuchet MS( '  Trebuchet MS(05  Trebuchet MS() kVVhZ#1[LA[[$D1$D3s^s2MW+1W'N!#; J Fr  Trebuchet MS(Let's say   Trebuchet MSs(worlds  Trebuchet MS( are   Trebuchet MSĶj(people  Trebuchet MS( ("  Trebuchet MS`(principals  Trebuchet MS("):z52$z52$V['$9$'$9$WCc,$,$XO?Z 7/D  Trebuchet MSs(Applications:   Trebuchet MS(Security SystemsD3s^s2MW+1W'%z52$z52$VHJ   r  Trebuchet MSs(A   Trebuchet MSl(true @  Trebuchet MSs(   Trebuchet MSs(wnK$ ''!!r  Trebuchet MSs(A  Trebuchet MSl(asserted by  Trebuchet MSs(   Trebuchet MSs(sandyLE& GGBFr  Trebuchet MSs(A~LT< @<8<6N <X< <0R<^4w<Z<Z $  T (8U; m<"pr< 8{޽ H;88ǝ (8U; m<"pr< 8{޽ H;88ǝz<: %!r  Trebuchet"tA? 7F  Trebuchet MSw(Modal Logic + g+ t trebuchet ms"t"it is raining" EE R??Ua 7F  Trebuchet MSw(Modal Logic + g+ t trebuchet ms"t"it is raining" EE R(9, *(  Trebuchet MS(no  Trebuchet MS(; it's not raining in   Trebuchet MS`(every possible  Trebuchet MS(   Trebuchet MSs(world  Trebuchet MS(.?Tw 7F  Trebuchet MSw(Modal Logic + g+ t trebuchet ms"t"it is raining" EE R59, *(  Trebuchet MS(no  Trebuchet MS(; it's not raining in   Trebuchet MS`(every possible  Trebuchet MS(   Trebuchet MSs(world  Trebuchet MS(. )g+ t trebuchet ms"t"it is raining"S@SSR}?I< 7F  Trebuchet MSw(Modal Logic + g+ t trebuchet ms"t"it is raining" EE Rj9, *(  Trebuchet MS(no  Trebuchet MS(; it's not raining in   Trebuchet MS`(every possible  Trebuchet MS(   Trebuchet MSs(world  Trebuchet MS(. )g+ t trebuchet ms"t"it is raining"S@SSRhI *   Trebuchet MS}(yes  Trebuchet MS(; in fact, in   Trebuchet MS`(this  Trebuchet MS(   Trebuchet MSs(world  Trebuchet MS(.?A? 7F  Trebuchet MSw(Modal Logic  $+ t trebuchet ms"t"if  t trebuchet ms`"tA t trebuchet ms"t  t trebuchet ms"tand t trebuchet ms"t  t trebuchet ms`"tB t trebuchet ms"t  t trebuchet ms"tthen t trebuchet ms"t  t trebuchet ms`"tA t trebuchet ms"t" EE R?x 7F  Trebuchet MSw(Modal Logic  $+ t trebuchet ms"t"if  t trebuchet ms`"tA t trebuchet ms"t  t trebuchet ms"tand t trebuchet ms"t  t trebuchet ms`"tB t trebuchet ms"t  t trebuchet ms"tthen t trebuchet ms"t  t trebuchet ms`"tA t trebuchet ms"t" EE R2 8  t trebuchet ms"tyes t trebuchet ms"t; this is a  t trebuchet ms`"tnecessary truth t trebuchet ms"t of logic.?u 7F  Trebuchet MSw(Modal Logic =+ t trebuchet ms"t"if the  t trebuchet ms"tgravitational constant t trebuchet ms"t is (.+ t trebuchet ms`"t6.6842 x 10 t trebuchet ms`"t-11 t trebuchet ms`"t N m t trebuchet ms`"t2 t trebuchet ms`"t kg t trebuchet ms`"t-2 F !'  t trebuchet ms"t then I am  t trebuchet ms"tpresident of CMU t trebuchet ms"t." EE Ra ?q 7F  Trebuchet MSw(Modal Logic =+ t trebuchet ms"t"if the  t trebuchet ms"tgravitational constant t trebuchet ms"t is (.+ t trebuchet ms`"t6.6842 x 10 t trebuchet ms`"t-11 t trebuchet ms`"t N m t trebuchet ms`"t2 t trebuchet ms`"t kg t trebuchet ms`"t-2 F !'  t trebuchet ms"t then I am  t trebuchet ms"tpresident of CMU t trebuchet ms"t." EE R  ), t trebuchet ms"tah t trebuchet ms"t!  t trebuchet ms"tfalse t trebuchet ms"t! not a  t trebuchet ms`"tnecessary fact t trebuchet ms"t (unless  t trebuchet mss"tG=6.6842 t trebuchet ms"t... is  t trebuchet msߦb"tlogically inconsistent t trebuchet ms"t)?1 7;  Trebuchet MSw(Modal Logic:  Trebuchet MS(Judgmentally [ *E & 8 Trebuchet MS(This is easily accomplished using our  8 Trebuchet MSl(judgmental methodology 8 Trebuchet MS(.?] 7;  Trebuchet MSw(Modal Logic:  Trebuchet MS(Judgmentally [ *E = 8 Trebuchet MS3(This is easily accomplished using our judgmental methodology. 6 8 Trebuchet MS(Instead of just saying that a 8 Trebuchet MSs(proposition  8 Trebuchet MS(is  8 Trebuchet MSl(true 8 Trebuchet MS(, we'll say  8 Trebuchet MS (what world it's true at 8 Trebuchet MS(.?C 7;  Trebuchet MSw(Modal Logic:  Trebuchet MS(Judgmentally !!  8 Trebuchet MSs(A  8 Trebuchet MSl(true`' L 8 Trebuchet MSs(A 8 Trebuchet MS(  8 Trebuchet MSl(true @ 8 Trebuchet MS(  8 Trebuchet MSs(w?W 7;  Trebuchet MSw(Modal Logic:  Trebuchet MS(Judgmentally !!  8 Trebuchet MSs(A  8 Trebuchet MSl(true`' L 8 Trebuchet MSs(A 8 Trebuchet MS(  8 Trebuchet MSl(true @ 8 Trebuchet MS(  8 Trebuchet MSs(w n%+.%  Trebuchet MS((  Trebuchet MSs(cf  Trebuchet MS(.   Trebuchet MSߤ[(Simpson  Trebuchet MS( '  Trebuchet MS(94  Trebuchet MS() #V(7$  Trebuchet MS("explicit worlds"?l 7;  Trebuchet MSw(Modal Logic:  Trebuchet MS(Judgmentally !!  8 Trebuchet MSs(A  8 Trebuchet MSl(true`' L 8 Trebuchet MSs(A 8 Trebuchet MS(  8 Trebuchet MSl(true @ 8 Trebuchet MS(  8 Trebuchet MSs(w -"&E& 8 Trebuchet MS(This will be our only notion of truth.?AX 7;  Trebuchet MSw(Modal Logic:  Trebuchet MS(Judgmentally@$ , 8 Trebuchet MSs(A 8 Trebuchet MS(  8 Trebuchet MSl(true @ 8 Trebuchet MS(  8 Trebuchet MSs(here E" 8 Trebuchet MS(If we want to talk about truth in 8 Trebuchet MS(our world% 8 Trebuchet MS(, we just make sure we have a world " 8 Trebuchet MSs(here# 8 Trebuchet MS(" (or whatever we like to name it).?+] 7;  Trebuchet MSw(Modal Logic:  Trebuchet MS(Judgmentally 8gH p Trebuchet MSs(A p Trebuchet MS(  p Trebuchet MSl(true @  p Trebuchet MSs(w1 p Trebuchet MS(,  p Trebuchet MSs(B p Trebuchet MS(  p Trebuchet MSl(true @  p Trebuchet MSs(w2 p Trebuchet MS(, ...  p Trebuchet MSs(C p Trebuchet MS(  p Trebuchet MSl(true @  p Trebuchet MSs(w333O0o? 7;  Trebuchet MSw(Modal Logic:  Trebuchet MS(Judgmentally 8gH p Trebuchet MSs(A p Trebuchet MS(  p Trebuchet MSl(true @  p Trebuchet MSs(w1 p Trebuchet MS(,  p Trebuchet MSs(B p Trebuchet MS(  p Trebuchet MSl(true @  p Trebuchet MSs(w2 p Trebuchet MS(, ...  p Trebuchet MSs(C p Trebuchet MS(  p Trebuchet MSl(true @  p Trebuchet MSs(w333OR 0!3>( p Trebuchet MS(Assumptions at possibly different worlds < 49 <T < 4}Z49Z<(n<(<t< bf?pZ 7;  Trebuchet MSw(Modal Logic:  Trebuchet MS(Judgmentally U p Trebuchet MSs(A p Trebuchet MS(  p Trebuchet MSl(true @  p Trebuchet MSs(w1 p Trebuchet MS(,  p Trebuchet MSs(B p Trebuchet MS(  p Trebuchet MSl(true @  p Trebuchet MSs(w2 p Trebuchet MS(,  p Trebuchet MSs(w4 p Trebuchet MS(  p Trebuchet MSl(exists p Trebuchet MS(, ...  p Trebuchet MSs(C p Trebuchet MS(  p Trebuchet MSl(true @  p Trebuchet MSs(w3::O  $"J  p Trebuchet MSs(Also:  p Trebuchet MS(assumptions about the p Trebuchet MSl(existence p Trebuchet MS( of  p Trebuchet MSs(worlds<4M7X <4<z(<:`<@?F 72  Trebuchet MSw(Modal Logic:  Trebuchet MS(InferenceZ% UU~o w>  Trebuchet MS(We have all the rules from "  Trebuchet MS(regular logic  Trebuchet MS(,"  Trebuchet MS( with   Trebuchet MSs(explicit worlds  Trebuchet MS( added.?Bds&D= 72  Trebuchet MSw(Modal Logic:  Trebuchet MS(InferenceZ% UU~o w>  Trebuchet MS(We have all the rules from "  Trebuchet MS(regular logic  Trebuchet MS(,"  Trebuchet MS( with   Trebuchet MSs(explicit worlds  Trebuchet MS( added. /Z@  Trebuchet MS(  Trebuchet MSs( A  p Trebuchet MS(  Trebuchet MSs( B   Trebuchet MSl(true` ` Oho #VZ@  Trebuchet MS(  Trebuchet MSs( A   Trebuchet MSl(true % %O ~('}$Z@  Trebuchet MS(  Trebuchet MSs( A  p Trebuchet MS(  Trebuchet MSs( B   Trebuchet MSl(true @   Trebuchet MSs(w.-).-)Or: ,-Z@  Trebuchet MS(  Trebuchet MSs( A   Trebuchet MSl(true @   Trebuchet MSs(w0000O{ b'  Trebuchet MS (becomes...dPZH?}s 72  Trebuchet MSw(Modal Logic:  Trebuchet MS(InferenceZ% UU~o 4   Trebuchet MS(There are  Trebuchet MS}(new rules  Trebuchet MS( for and , of course.=u=uQ= = RD ? dsRIB] 72  Trebuchet MSw(Modal Logic:  Trebuchet MS(InferenceZ% UU~o 4 *  Trebuchet MS3(There are new rules for and , of course.=u=u3Q:= = 3R GG8@!Z@  Trebuchet MS(  Trebuchet MSs( A   Trebuchet MSl(true @   Trebuchet MSs(w8 GG8 O3x GG@%Z@  Trebuchet MS(  Trebuchet MSs( A   Trebuchet MSl(true @   Trebuchet MSs(w'AI)GGAI)O ,e ,e Rc?dc#B@ 72  Trebuchet MSw(Modal Logic:  Trebuchet MS(Inference DD:Z  Trebuchet MS(Proving that   Trebuchet MSs(A  Trebuchet MS( is   Trebuchet MSl(true  Trebuchet MS( is trickier:H}  d dH} RsQ(U$(U$SYM((dTBY?U 72  Trebuchet MSw(Modal Logic:  Trebuchet MS(Inference(U$(U$S ((3Te  *]AZ  Trebuchet MS(To show   Trebuchet MSs(A  Trebuchet MS( is  Trebuchet MSl( true  Trebuchet MS( at some world   Trebuchet MSs(w  Trebuchet MS(...}=,1\1\}=,R pd#B@?J 72  Trebuchet MSw(Modal Logic:  Trebuchet MS(Inference(U$(U$a&SyR GGq'2Z@  Trebuchet MSsP(,  Trebuchet MS(   Trebuchet MSs(w'  Trebuchet MS(   Trebuchet MSl(exists  Trebuchet MSs(  Trebuchet MSsP(A true @ w'(GG(a&O|8%  ]D @  Trebuchet MS(Assume a   Trebuchet MSs(hypothetical world   Trebuchet MS((  Trebuchet MSs(w'  Trebuchet MS() about which   Trebuchet MS}(nothing is known  Trebuchet MS(...d#B@?K 72  Trebuchet MSw(Modal Logic:  Trebuchet MS(Inference(U$(U$a&SK GGq'2Z@  Trebuchet MSM(, w' exists  Trebuchet MSs( A   Trebuchet MSl(true @   Trebuchet MSs(w'(GG(Oy   1 @  Trebuchet MS(And prove that   Trebuchet MSs(A  Trebuchet MS( is   Trebuchet MSl(true  Trebuchet MS( at  Trebuchet MSs(that world  Trebuchet MS(.dc#B@?j 72  Trebuchet MSw(Modal Logic:  Trebuchet MS(Inference FZ@  Trebuchet MS(The rules for are similar (  Trebuchet MS(dual  Trebuchet MS(!)m# =u=um# Qr?dsR?B] 72  Trebuchet MSw(Modal Logic:  Trebuchet MS(Inference FZ@%  Trebuchet MS3(The rules for are similar (dual!)m# =u=um# MQB GG8@!Z@  Trebuchet MS(  Trebuchet MSs( A   Trebuchet MSl(true @   Trebuchet MSs(w8#GG8#O3n GG@Z@  Trebuchet MS(  Trebuchet MSs( A   Trebuchet MSl(true @   Trebuchet MSs(w'AQGGAQO~5,]#WWW,]#R\`?j 72  Trebuchet MSw(Modal Logic:  Trebuchet MS(Inference 006@!Z@  Trebuchet MS(  Trebuchet MSs( A   Trebuchet MSl(true @   Trebuchet MSs(w 00 O- GG'Z@  Trebuchet MS(  Trebuchet MSs( C   Trebuchet MSl(true @   Trebuchet MSs(w'y+GGy+O+ +Fչ+F+F Rx d!`OZ@  Trebuchet MS(  Trebuchet MS(,   Trebuchet MSs(w''  Trebuchet MS(   Trebuchet MSl(exists  Trebuchet MS(,   Trebuchet MSs(A  Trebuchet MS(   Trebuchet MSl(true @  Trebuchet MS(   Trebuchet MSs(w''  Trebuchet MSs( C   Trebuchet MSl(true @   Trebuchet MSs(w'z5#z5#OcdcQYO)J?' 7d  Trebuchet MSs(Applications  ;  Trebuchet MS(That's what modal logic   Trebuchet MS`(is  Trebuchet MS(.  !3  Trebuchet MS(So, what is it   Trebuchet MS`(good for  Trebuchet MS(??8 76  Trebuchet MSs(Applications: Philosophy Z N \:  Trebuchet MS(Modal logic  Trebuchet MS( has been used for about  Trebuchet MS`(100 years  Trebuchet MS( in  Trebuchet MS(philosophy  Trebuchet MS(. $+-Q  Trebuchet MS((  Trebuchet MSs(cf  Trebuchet MS(.   Trebuchet MSߤ[(Lewis  Trebuchet MS( '  Trebuchet MS(19  Trebuchet MS()?k 76  Trebuchet MSs(Applications: Philosophy Z N \:  Trebuchet MS(Modal logic  Trebuchet MS( has been used for about  Trebuchet MS`(100 years  Trebuchet MS( in  Trebuchet MS(philosophy  Trebuchet MS(. *,[(  Trebuchet MS(As a pure study of "  Trebuchet MS}(necessity  Trebuchet MS(" and "  Trebuchet MSs(possibility  Trebuchet MS(."!  @ *@  Wingdingss(?J 76  Trebuchet MSs(Applications: Philosophy Z N \:  Trebuchet MS(Modal logic  Trebuchet MS( has been used for about  Trebuchet MS`(100 years  Trebuchet MS( in  Trebuchet MS(philosophy  Trebuchet MS(.i*& uuh5  Trebuchet MS`(Gdel  Trebuchet MSs(  Trebuchet MS(used it to "  Trebuchet MS(prove  Trebuchet MS(" the existence of   Trebuchet MS(God  Trebuchet MS(, revising the ancient "  Trebuchet MSߤ[(Ontological Argument  Trebuchet MS(!"?t 7d  Trebuchet MSs(Applications ~E   Trebuchet MS(But let's look at   Trebuchet MS (computer science  Trebuchet MS(  Trebuchet MS(applications  Trebuchet MS(.?d 7d  Trebuchet MSs(Applications&  K   Trebuchet MS(There are  Trebuchet MS`(many ways  Trebuchet MS( to interpret the "  Trebuchet MSs(worlds  Trebuchet MS(" in  Trebuchet MS(modal logic.?LP 7/D  Trebuchet MSs(Applications:   Trebuchet MS(Security Systems ]"-a&  Trebuchet MS((  Trebuchet MSs(cf  Trebuchet MS(.   Trebuchet MSĶj(Pfenning  Trebuchet MS( '  Trebuchet MS(05  Trebuchet MS() kVVhZ#1[LA[[$D1$D3s^s2MW+1W'N!#; J Fr  Trebuchet MS(Let's say   Trebuchet MSs(worlds  Trebuchet MS( are   Trebuchet MSĶj(people  Trebuchet MS( ("  Trebuchet MS`(principals  Trebuchet MS("):z52$z52$V['$9$'$9$WCc,$,$XO?Z 7/D  Trebuchet MSs(Applications:   Trebuchet MS(Security SystemsD3s^s2MW+1W'%z52$z52$VHJ   r  Trebuchet MSs(A   Trebuchet MSl(true @  Trebuchet MSs(   Trebuchet MSs(wnK$ ''!!r  Trebuchet MSs(A  Trebuchet MSl(asserted by  Trebuchet MSs(   Trebuchet MSs(sandyLE& GGBFr  Trebuchet MSs(A~LT< @<8<6N <X< <0R<^4w<Z<Z $  T (8U; m<"pr< 8{޽ H;88ǝ (8U; m<"pr< 8{޽ H;88ǝz<: %!r  Trebuchet MS(pair of an   Trebuchet MS`(A  Trebuchet MS( and a   Trebuchet MS`(B?7 7J  Trebuchet MSs(Applications:  ` Trebuchet MS(Distributed Computing#; J L   Trebuchet MS(Here, we use the   Trebuchet MS}(Curry-Howard Isomorphism  Trebuchet MS( so that the  Trebuchet MSs(propositions  Trebuchet MS( become   Trebuchet MS`(types  Trebuchet MS( and the   Trebuchet MSs(proofs  Trebuchet MS( become   Trebuchet MS`(programs  Trebuchet MS(. ; er  Trebuchet MS`(A  Trebuchet MSs(   Trebuchet MS(  Trebuchet MSs(   Trebuchet MS`(By ܭܭr  Trebuchet MS(value of type... >%!r  Trebuchet MS(pair  Trebuchet MS( of an   Trebuchet MS`(A  Trebuchet MS( and a   Trebuchet MS`(B  %r  Trebuchet MS`(A  Trebuchet MSs(   Trebuchet MS`(BZ' ;%@ g@ symbol( >%A%#r  Trebuchet MS(function  Trebuchet MS( from   Trebuchet MS`(A  Trebuchet MS( to   Trebuchet MS`(B?} 7J  Trebuchet MSs(Applications:  ` Trebuchet MS(Distributed Computing _ 44 V ` trebuchet ms"tThe  ` trebuchet msd$"tmodal connectives ` trebuchet ms"t become ` trebuchet ms "tnew types ` trebuchet ms"t:36 T?  ` trebuchet ms"tA thing of type  ` trebuchet ms`"tA ` trebuchet ms"t that can be used  ` trebuchet ms"tanywhere ` trebuchet ms"t ( ` trebuchet mss"tmobile ` trebuchet ms"t).-`&p<N   /Y<\H<d 18IL8q=6<<B8,88h8&(d8tQ**-8K4s4v;lV^) 88ehe<{{$< <Z4RB @ 7  Trebuchet MSs(Conclusion' K/ K  Trebuchet MS(Applications   Trebuchet MS(in computer science:?O 7  Trebuchet MSs(Conclusion' K/ K  Trebuchet MS(Applications   Trebuchet MS(in computer science: 8g2  Trebuchet MS(Distributed Computing@X zzX ? 7  Trebuchet MSs(Conclusion' K/ K  Trebuchet MS(Applications   Trebuchet MS(in computer science: 8g2  Trebuchet MS3(Distributed Computing hxH   Trebuchet MS(Security logics  Vu@X zzX M? 7  Trebuchet MSs(Conclusion' K/ K  Trebuchet MS(Applications   Trebuchet MS(in computer science: 8g2  Trebuchet MS3(Distributed Computing hxH   Trebuchet MS3(Security logics h%;,  Trebuchet MS(Temporal reasoning '{{ 'Y^{{ {{ W(@8I4J'< *( !<8@M 0<P6/#  MVv@X zzX M?wz 7  Trebuchet MSs(Conclusion,VV0BR"[LA["D13!s^s3W+1W'  ) 4   Trebuchet MS(I believe  Trebuchet MS(modal logic  Trebuchet MS( has   Trebuchet MS (many  Trebuchet MS(   Trebuchet MS`(unexplored uses  Trebuchet MS( yet.?_ 7&  Trebuchet MSs(More Information#) # J  L Trebuchet MSjjj"t"2 L Trebuchet MS "tA symmetric modal logic for distributed computing L Trebuchet MSjjj"t" L Trebuchet MS"t !  Trebuchet MS"tMurphy, Crary, Harper, Pfenning;  Trebuchet MSs"tLICS 2004#$ =9  L Trebuchet MSjjj"t"4 L Trebuchet MS "tDistributed control flow with classical modal logic L Trebuchet MSjjj"t" L Trebuchet MS"t   Trebuchet MS"tMurphy, Crary, Harper;   Trebuchet MSs"tCSL 2005 CPicButton*/*/< p#@on (release) { getURL("http://tom7.org/papers/", "_blank"); }?|25 YY6    Hockey is Lifstthanks!heeq_,t7?_ SlidesO?/ ?ilO0w CQ0d3Jx000 O:O:O;O;::O:O:O;O;;;$$hh;;$$Z+hZ+hZ+$Z+$hh::Z+$Z+$$$hhZ+hZ+h?(0?a:<<#R#?F?cW(@8I4J'< *( !<8@M 0<P6/#!q'Bt >8V NlD)*8w2> Ҙ8Q 4w _ 1 !]848K' 8}*$T   ) /!:8DNQ'bϠ8Di2?]?k slides aboveOONO6_12NO6 }on (release, keyPress "<Left>") { if (_currentframe > 0) { prevFrame(); } } on (keyPress "<Home>") { gotoAndStop(0); }G6P#$G6 2on (release, keyPress "<Right>") { if (_currentframe < _totalframes) { play(); } } on (keyPress "<End>") { gotoAndStop(_totalframes); }7(6 ūū n5W%m? ,Verdana"(What is modal logic and what is it good for? Tom 7 SSS'05B&9B 9dFDslidenum0x܀Y Ss sa0t `O0K?"V/* necessary if we want to trap escape key, etc. */ fscommand("trapallkeys", "true");NO6_12NO6 >on (release, keyPress "<Left>") { if (_currentframe > 0) { prevFrame(); } } on (keyPress "<Home>") { gotoAndStop(0); }G6P#$G6 dMon (release, keyPress "<Right>") { if (_currentframe < _totalframes) { play(); } } on (keyPress "<End>") { gotoAndStop(_totalframes); }7(6 ūū n5W%m? ,Verdana"(What is modal logic and what is it good for? Tom 7 SSS'05B&9B 9dFwslidenum /9 /9[M0x܀Y Ss sa0t `O0Ky?3% NavigationOOl^l^BS?,T?_l^l^Btxy?3( controlO? 7J  Trebuchet MSs(Applications:  ` Trebuchet MS(Distributed Computing36 T? 8 CDocumentPagePage 1 Presentation9?sFC Symbol 92timer_singleton\FC timer_singletonSymbol 4*FC Symbol 91timer[FCclockSymbol 4%FC Symbol 90Symbol 3ZTECSymbol 3TEC Symbol 89clockYECSymbol 3EC Symbol 88wilyXECSymbol 3EC Symbol 87darkskinWECSymbol 3EC Symbol 86redheadVECSymbol 3EC Symbol 84Symbol 2TrECSymbol 2rEC Symbol 83Symbol 1SkECSymbol 1kEC Symbol 82boxRECSymbol 1%EC Symbol 81diamondQECSymbol 1-EC Symbol 80 inferencerulePECOSymbol 1EC Symbol 79 turnstileO,ECMSymbol 1,EC Symbol 78advisoryNEC Symbol 1ʭEC Symbol 77 backgroundMECSymbol 2EC Symbol 75aboxK,IECaboxSymbol 2ۅFC Symbol 74boxdia_singletonJGECboxdia_singletonSymbol 2EC Symbol 73boxdiaIGECboxdiaSymbol 2lFC Symbol 72warpzoneHTDC)warpzoneSymbol 2^DC Symbol 71warpzone_singletonGMDC'warpzone_singletonSymbol 2DC Symbol 70slidenumF-DCslidenumSymbol 2FC Symbol 69slidenum_singletonEDCslidenum_singletonSymbol 2FC Symbol 65sparksABSymbol 2-B Symbol 64printer lights@|BSymbol 2B Symbol 63 printerbody?BSymbol 2lB Symbol 62 load error>BSymbol 2B Symbol 61printer= BSymbol 2YB Symbol 60papers link(working)<[7BSymbol 2[7B Symbol 59 s5 axiom 1;%BSymbol 2%B Symbol 55treasure chest7BSymbol 2j2B Symbol 54cloud6hBSymbol 2hB Symbol 53raining5BSymbol 2ŏB Symbol 52awesome4TBSymbol 2eB Symbol 50 proof pi12VBSymbol 2VB Symbol 49true1BSymbol 2B Symbol 48 chocolate0~BSymbol 2~B Symbol 47 strawberry/xBSymbol 2xB Symbol 46tnt.VBSymbol 2VB Symbol 44tom at computer,mBSymbol 1_B Symbol 22world[@Symbol 1]@ Symbol 15the_grid?@ Symbol 15^@ Symbol 11 Unknown Arrow ;? Symbol 11^@Symbol 7Client:?Symbol 7^@Symbol 5gridl:?Symbol 5_@Symbol 1Prevq:}::?^@Symbol 2Nextq:::?^@ Symbol 14computer@@0F:\pictures\nsf-nugget\grid-with-connections.flacomputerE@@@^@ Symbol 16eating computerZBeating computerB Symbol 58mobility:@..\lics2004\lambda16.flamobility@@@ Symbol 66stopBC..\cs5-csl\cs5csl23.flastopCCDC Symbol 67stop_singletonCC ..\cs5-csl\cs5csl23.flastop_singletonCC ȎDC Symbol 76colorbgLC ..\cs5-csl\cs5csl23.flacolorbg CC  C Symbol 85spoonU2HA..\convivial2004\spoons.flaspoonJA2HAJA^4P:hhhh333# Vector::Generator EncodingVector::External Font Files0Vector::Generator CommandVector::Generator Height480Vector::Preview as GIF0Vector::Generator ColorVector::Template0Vector::Generator Width640Vector::Generator LoadOrderPropSheet::ActiveTab7641Vector::Generator FPS12Vector::MatchMovieDim1%PublishFormatProperties::htmlFileNamemodal-logic7.html"PublishHtmlProperties::StartPaused0!PublishGifProperties::PaletteName PublishRNWKProperties::speed256K0PublishProfileProperties::nameFlash MX SettingsPublishFormatProperties::jpeg0Vector::Debugging Permitted0PublishHtmlProperties::Loop1"PublishQTProperties::MatchMovieDim1 PublishQTProperties::AlphaOption PublishQTProperties::LayerOptionPublishHtmlProperties::Units0$PublishPNGProperties::OptimizeColors1PublishQTProperties::Width1024&PublishRNWKProperties::singleRateAudio0&PublishRNWKProperties::speedSingleISDN0Vector::External Player4PublishHtmlProperties::UsingDefaultAlternateFilename1%PublishHtmlProperties::showTagWarnMsg1%PublishFormatProperties::projectorMac0&PublishFormatProperties::flashFileNamemodal-logic7.swfPublishGifProperties::Smooth1#PublishRNWKProperties::flashBitRate1200%PublishRNWKProperties::mediaCopyright 2000Vector::Compress Movie1'PublishFormatProperties::gifDefaultName1Vector::Package PathsPublishFormatProperties::html1$PublishFormatProperties::pngFileNamemodal-logic7.png(PublishHtmlProperties::VerticalAlignment1PublishHtmlProperties::Quality4"PublishGifProperties::DitherOption"PublishRNWKProperties::exportAudio1 PublishRNWKProperties::speed384K0!PublishRNWKProperties::exportSMIL1Vector::FireFox0Vector::Override Sounds0!PublishHtmlProperties::DeviceFont0"PublishPNGProperties::FilterOption'PublishRNWKProperties::mediaDescription-PublishFormatProperties::generatorDefaultName1PublishFormatProperties::gif0*PublishFormatProperties::generatorFileNamemodal-logic7.swtVector::Protect0Vector::Quality80*PublishHtmlProperties::HorizontalAlignment1"PublishHtmlProperties::DisplayMenu1PublishGifProperties::Interlace0"PublishGifProperties::DitherSolids0PublishPNGProperties::Smooth1PublishPNGProperties::BitDepth24-bit with AlphaPublishJpegProperties::DPI4718592PublishQTProperties::Flatten1(PublishFormatProperties::jpegDefaultName1(PublishFormatProperties::rnwkDefaultName1Vector::Template02PublishHtmlProperties::VersionDetectionIfAvailable0#PublishFormatProperties::qtFileNamemodal-logic7.movPublishGifProperties::Width1024PublishGifProperties::Loop1PublishRNWKProperties::speed28K1!PublishRNWKProperties::mediaTitle$PublishRNWKProperties::mediaKeywordsPublishFormatProperties::flash1#PublishGifProperties::MatchMovieDim1#PublishGifProperties::PaletteOption"PublishPNGProperties::DitherOptionPublishJpegProperties::Quality80$PublishRNWKProperties::realVideoRate100000$PublishRNWKProperties::speedDualISDN0-PublishFormatProperties::projectorWinFileNamemodal-logic7.exePublishHtmlProperties::Align0#PublishPNGProperties::MatchMovieDim1#PublishPNGProperties::PaletteOption$PublishJpegProperties::MatchMovieDim1!PublishProfileProperties::version10PublishFormatProperties::projectorMacDefaultName1'PublishFormatProperties::pngDefaultName1Vector::Package Export Frame1%PublishFormatProperties::jpegFileNamemodal-logic7.jpgVector::Omit Trace Actions0Vector::Debugging PasswordPublishHtmlProperties::Width1024PublishHtmlProperties::Height752"PublishPNGProperties::DitherSolids0"PublishJpegProperties::Progressive0#PublishQTProperties::PlayEveryFrame0)PublishFormatProperties::flashDefaultName1PublishFormatProperties::png0PublishFormatProperties::rnwk0-PublishFormatProperties::projectorMacFileNamemodal-logic7.hqxVector::TopDown0!PublishHtmlProperties::WindowMode0'PublishHtmlProperties::TemplateFileNameyD:\Documents and Settings\Tom\Local Settings\Application Data\Macromedia\Flash MX 2004\en\Configuration\Html\Default.htmlPublishGifProperties::Height752PublishPNGProperties::Interlace0PublishJpegProperties::Size0(PublishFormatProperties::htmlDefaultName1Vector::DeviceSound02PublishHtmlProperties::UsingDefaultContentFilename1"PublishFormatProperties::generator0Vector::Report0PublishGifProperties::LoopCount'PublishGifProperties::TransparentOptionPublishGifProperties::MaxColors255%PublishPNGProperties::RemoveGradients0PublishQTProperties::Height752PublishRNWKProperties::speed56K1&PublishHtmlProperties::ContentFilename(PublishHtmlProperties::AlternateFilename+PublishHtmlProperties::OwnAlternateFilenamePublishFormatProperties::qt0Vector::Stream Compress7Vector::Event Format0Vector::Version7$PublishGifProperties::OptimizeColors1"PublishRNWKProperties::audioFormat0Vector::ActionScriptVersion1Vector::Event Compress7PublishHtmlProperties::Scale0%PublishGifProperties::RemoveGradients0PublishPNGProperties::Width1024PublishPNGProperties::Height752PublishJpegProperties::Height752 PublishRNWKProperties::speed512K00PublishFormatProperties::projectorWinDefaultName1$PublishFormatProperties::gifFileNamemodal-logic7.gifVector::Stream Format0PublishGifProperties::Animated0&PublishGifProperties::TransparentAlpha128!PublishPNGProperties::Transparent0!PublishPNGProperties::PaletteNamePublishJpegProperties::Width1024*PublishQTProperties::UseQTSoundCompression0PublishQTProperties::Looping0"PublishRNWKProperties::exportFlash1&PublishRNWKProperties::showBitrateDlog1(PublishRNWKProperties::speedCorporateLAN0"PublishRNWKProperties::mediaAuthor&PublishFormatProperties::qtDefaultName1"PublishHtmlProperties::VersionInfo%PublishFormatProperties::defaultNames1%PublishFormatProperties::projectorWin0%PublishFormatProperties::rnwkFileNamemodal-logic7.smilPublishPNGProperties::MaxColors255%PublishQTProperties::ControllerOption0"PublishQTProperties::PausedAtStart0,PublishHtmlProperties::UsingOwnAlternateFile0n CColorDef88383888*u8u8+u8Uu8Z8PP8w >8PPPK8jjjd8U8222/8|1 C8`# 48lf_8)_C48`-88}W88dEn8*9v8ro%z81 81 8:<)#8:<)#8"8#$ *8̀888 8`-8.8.8.8֭8ǎ8Η*W8N jA8/D~*8l:>8l:>8F"(888C8GGP8s8 (P88l0a8f8|1 C8r8Uu8?F_1J8?F_1J8?F_1J8S{TQ/a8S{TQ/a8 "r8jqe`8A3pr8r8A3pr8jqe`8|1 C8jqe`8jqe`8W'f8W'f88`-8888D%ir8Ķj"g8^R8o*;84Kz8A8s8A8U8RG8 "r8`*8'(a8 8ӫ(L8AO8'N88^8wC88838T(08ߤ[8ߦb83D8عo8buttonsq:"PublishQTProperties::QTSndSettingsCQTAudioSettings M 0<P6/#!q'Bt >8V NlD)*8w2> Ҙ8Q 4w _ 1 !]848K' 8}*$T   ) /!:8DNQ'bϠ8Di2(Applications:  ` Trebuchet MS(Distributed Computing#; J L   Trebuchet MS(Here, we use the   Trebuchet MS}(Curry-Howard Isomorphism  Trebuchet MS( so that the  Trebuchet MSs(propositions  Trebuchet MS( become   Trebuchet MS`(types  Trebuchet MS( and the   Trebuchet MSs(proofs  Trebuchet MS( become   Trebuchet MS`(programs  Trebuchet MS(. ; er  Trebuchet MS`(A  Trebuchet MSs(   Trebuchet MS(  Trebuchet MSs(   Trebuchet MS`(By ܭܭr  Trebuchet MS(value of type... >%!r  Trebuchet MS(pair  Trebuchet MS( of an   Trebuchet MS`(A  Trebuchet MS( and a   Trebuchet MS`(B  %r  Trebuchet MS`(A  Trebuchet MSs(   Trebuchet MS`(BZ' ;%@ g@ symbol( >%A%#r  Trebuchet MS(function  Trebuchet MS( from   Trebuchet MS`(A  Trebuchet MS( to   Trebuchet MS`(B?} 7J  Trebuchet MSs(Applications:  ` Trebuchet MS(Distributed Computing _ 44 V ` trebuchet ms"tThe  ` trebuchet msd$"tmodal connectives ` trebuchet ms"t become ` trebuchet ms "tnew types ` trebuchet ms"t:36 T?  ` trebuchet ms"tA thing of type  ` trebuchet ms`"tA ` trebuchet ms"t that can be used  ` trebuchet ms"tanywhere ` trebuchet ms"t ( ` trebuchet mss"tmobile ` trebuchet ms"t).-`&p<N   /Y<\H<d 18IL8q=6<<B8,88h8&(d8tQ**-8K4s4v;lV^) 88ehe<{{$< <Z4RB @ 7  Trebuchet MSs(Conclusion' K/ K  Trebuchet MS(Applications   Trebuchet MS(in computer science:?O 7  Trebuchet MSs(Conclusion' K/ K  Trebuchet MS(Applications   Trebuchet MS(in computer science: 8g2  Trebuchet MS(Distributed Computing@X zzX ? 7  Trebuchet MSs(Conclusion' K/ K  Trebuchet MS(Applications   Trebuchet MS(in computer science: 8g2  Trebuchet MS3(Distributed Computing hxH   Trebuchet MS(Security logics  Vu@X zzX M? 7  Trebuchet MSs(Conclusion' K/ K  Trebuchet MS(Applications   Trebuchet MS(in computer science: 8g2  Trebuchet MS3(Distributed Computing hxH   Trebuchet MS3(Security logics h%;,  Trebuchet MS(Temporal reasoning '{{ 'Y^{{ {{ W(@8I4J'< *( !<8@M 0<P6/#  MVv@X zzX M?wz 7  Trebuchet MSs(Conclusion,VV0BR"[LA["D13!s^s3W+1W'  ) 4   Trebuchet MS(I believe  Trebuchet MS(modal logic  Trebuchet MS( has   Trebuchet MS (many  Trebuchet MS(   Trebuchet MS`(unexplored uses  Trebuchet MS( yet.?_ 7&  Trebuchet MSs(More Information#) # J  L Trebuchet MSjjj"t"2 L Trebuchet MS "tA symmetric modal logic for distributed computing L Trebuchet MSjjj"t" L Trebuchet MS"t !  Trebuchet MS"tMurphy, Crary, Harper, Pfenning;  Trebuchet MSs"tLICS 2004#$ =9  L Trebuchet MSjjj"t"4 L Trebuchet MS "tDistributed control flow with classical modal logic L Trebuchet MSjjj"t" L Trebuchet MS"t   Trebuchet MS"tMurphy, Crary, Harper;   Trebuchet MSs"tCSL 2005 CPicButton*/*/< p#@on (release) { getURL("http://tom7.org/papers/", "_blank"); }?|25 YY6    Hockey is Lifstthanks!heeq_,t7?_ SlidesO?/ ?ilO0w CQ0d3Jx000 O:O:O;O;::O:O:O;O;;;$$hh;;$$Z+hZ+hZ+$Z+$hh::Z+$Z+$$$hhZ+hZ+h?(0?a:<<#R#?F?cW(@8I4J'< *( !<8@M 0<P6/#!q'Bt >8V NlD)*8w2> Ҙ8Q 4w _ 1 !]848K' 8}*$T   ) /!:8DNQ'bϠ8Di2?]?k slides aboveOONO6_12NO6 }on (release, keyPress "<Left>") { if (_currentframe > 0) { prevFrame(); } } on (keyPress "<Home>") { gotoAndStop(0); }G6P#$G6 2on (release, keyPress "<Right>") { if (_currentframe < _totalframes) { play(); } } on (keyPress "<End>") { gotoAndStop(_totalframes); }7(6 ūū n5W%m? ,Verdana"(What is modal logic and what is it good for? Tom 7 SSS'05B&9B 9dFDslidenum0x܀Y Ss sa0t `O0K?"V/* necessary if we want to trap escape key, etc. */ fscommand("trapallkeys", "true");NO6_12NO6 >on (release, keyPress "<Left>") { if (_currentframe > 0) { prevFrame(); } } on (keyPress "<Home>") { gotoAndStop(0); }G6P#$G6 dMon (release, keyPress "<Right>") { if (_currentframe < _totalframes) { play(); } } on (keyPress "<End>") { gotoAndStop(_totalframes); }7(6 ūū n5W%m? ,Verdana"(What is modal logic and what is it good for? Tom 7 SSS'05B&9B 9dFwslidenum /9 /9[M0x܀Y Ss sa0t `O0Ky?3% NavigationOOl^l^BS?,T?_l^l^Btxy?3( controlO#!q'Bt >8V NlD)*8w2> Ҙ8Q 4w _ 1 !]848K' 8}*$T   ) /!:8DNQ'bϠ8Di28 CDocumentPagePage 1 Presentation9?FC Symbol 92timer_singleton\FC timer_singletonSymbol 4*FC Symbol 91timer[FCclockSymbol 4%FC Symbol 90Symbol 3ZTECSymbol 3TEC Symbol 89clockYECSymbol 3EC Symbol 88wilyXECSymbol 3EC Symbol 87darkskinWECSymbol 3EC Symbol 86redheadVECSymbol 3EC Symbol 84Symbol 2TrECSymbol 2rEC Symbol 83Symbol 1SkECSymbol 1kEC Symbol 82boxRECSymbol 1%EC Symbol 81diamondQECSymbol 1-EC Symbol 80 inferencerulePECOSymbol 1EC Symbol 79 turnstileO,ECMSymbol 1,EC Symbol 78advisoryNEC Symbol 1ʭEC Symbol 77 backgroundMECSymbol 2EC Symbol 75aboxK,IECaboxSymbol 2ۅFC Symbol 74boxdia_singletonJGECboxdia_singletonSymbol 2EC Symbol 73boxdiaIGECboxdiaSymbol 2lFC Symbol 72warpzoneHTDC)warpzoneSymbol 2^DC Symbol 71warpzone_singletonGMDC'warpzone_singletonSymbol 2DC Symbol 70slidenumF-DCslidenumSymbol 2FC Symbol 69slidenum_singletonEDCslidenum_singletonSymbol 2FC Symbol 65sparksABSymbol 2-B Symbol 64printer lights@|BSymbol 2B Symbol 63 printerbody?BSymbol 2lB Symbol 62 load error>BSymbol 2B Symbol 61printer= BSymbol 2YB Symbol 60papers link(working)<[7BSymbol 2[7B Symbol 59 s5 axiom 1;%BSymbol 2%B Symbol 55treasure chest7BSymbol 2j2B Symbol 54cloud6hBSymbol 2hB Symbol 53raining5BSymbol 2ŏB Symbol 52awesome4TBSymbol 2eB Symbol 50 proof pi12VBSymbol 2VB Symbol 49true1BSymbol 2B Symbol 48 chocolate0~BSymbol 2~B Symbol 47 strawberry/xBSymbol 2xB Symbol 46tnt.VBSymbol 2VB Symbol 44tom at computer,mBSymbol 1_B Symbol 22world[@Symbol 1]@ Symbol 15the_grid?@ Symbol 15^@ Symbol 11 Unknown Arrow ;? Symbol 11^@Symbol 7Client:?Symbol 7^@Symbol 5gridl:?Symbol 5_@Symbol 1Prevq:}::?^@Symbol 2Nextq:::?^@ Symbol 14computer@@0F:\pictures\nsf-nugget\grid-with-connections.flacomputerE@@@^@ Symbol 16eating computerZBeating computerB Symbol 58mobility:@..\lics2004\lambda16.flamobility@@@ Symbol 66stopBC..\cs5-csl\cs5csl23.flastopCCDC Symbol 67stop_singletonCC ..\cs5-csl\cs5csl23.flastop_singletonCC ȎDC Symbol 76colorbgLC ..\cs5-csl\cs5csl23.flacolorbg CC  C Symbol 85spoonU2HA..\convivial2004\spoons.flaspoonJA2HAJA^4P:hhhh333# Vector::Generator EncodingVector::External Font Files0Vector::Generator CommandVector::Generator Height480Vector::Preview as GIF0Vector::Generator ColorVector::Template0Vector::Generator Width640Vector::Generator LoadOrderPropSheet::ActiveTab7641Vector::Generator FPS12Vector::MatchMovieDim1%PublishFormatProperties::htmlFileNamemodal-logic7.html"PublishHtmlProperties::StartPaused0!PublishGifProperties::PaletteName PublishRNWKProperties::speed256K0PublishProfileProperties::nameFlash MX SettingsPublishFormatProperties::jpeg0Vector::Debugging Permitted0PublishHtmlProperties::Loop1"PublishQTProperties::MatchMovieDim1 PublishQTProperties::AlphaOption PublishQTProperties::LayerOptionPublishHtmlProperties::Units0$PublishPNGProperties::OptimizeColors1PublishQTProperties::Width1024&PublishRNWKProperties::singleRateAudio0&PublishRNWKProperties::speedSingleISDN0Vector::External Player4PublishHtmlProperties::UsingDefaultAlternateFilename1%PublishHtmlProperties::showTagWarnMsg1%PublishFormatProperties::projectorMac0&PublishFormatProperties::flashFileNamemodal-logic7.swfPublishGifProperties::Smooth1#PublishRNWKProperties::flashBitRate1200%PublishRNWKProperties::mediaCopyright 2000Vector::Compress Movie1'PublishFormatProperties::gifDefaultName1Vector::Package PathsPublishFormatProperties::html1$PublishFormatProperties::pngFileNamemodal-logic7.png(PublishHtmlProperties::VerticalAlignment1PublishHtmlProperties::Quality4"PublishGifProperties::DitherOption"PublishRNWKProperties::exportAudio1 PublishRNWKProperties::speed384K0!PublishRNWKProperties::exportSMIL1Vector::FireFox0Vector::Override Sounds0!PublishHtmlProperties::DeviceFont0"PublishPNGProperties::FilterOption'PublishRNWKProperties::mediaDescription-PublishFormatProperties::generatorDefaultName1PublishFormatProperties::gif0*PublishFormatProperties::generatorFileNamemodal-logic7.swtVector::Protect0Vector::Quality80*PublishHtmlProperties::HorizontalAlignment1"PublishHtmlProperties::DisplayMenu1PublishGifProperties::Interlace0"PublishGifProperties::DitherSolids0PublishPNGProperties::Smooth1PublishPNGProperties::BitDepth24-bit with AlphaPublishJpegProperties::DPI4718592PublishQTProperties::Flatten1(PublishFormatProperties::jpegDefaultName1(PublishFormatProperties::rnwkDefaultName1Vector::Template02PublishHtmlProperties::VersionDetectionIfAvailable0#PublishFormatProperties::qtFileNamemodal-logic7.movPublishGifProperties::Width1024PublishGifProperties::Loop1PublishRNWKProperties::speed28K1!PublishRNWKProperties::mediaTitle$PublishRNWKProperties::mediaKeywordsPublishFormatProperties::flash1#PublishGifProperties::MatchMovieDim1#PublishGifProperties::PaletteOption"PublishPNGProperties::DitherOptionPublishJpegProperties::Quality80$PublishRNWKProperties::realVideoRate100000$PublishRNWKProperties::speedDualISDN0-PublishFormatProperties::projectorWinFileNamemodal-logic7.exePublishHtmlProperties::Align0#P     ublishPNGProperties::MatchMovieDim1#PublishPNGProperties::PaletteOption$PublishJpegProperties::MatchMovieDim1!PublishProfileProperties::version10PublishFormatProperties::projectorMacDefaultName1'PublishFormatProperties::pngDefaultName1Vector::Package Export Frame1%PublishFormatProperties::jpegFileNamemodal-logic7.jpgVector::Omit Trace Actions0Vector::Debugging PasswordPublishHtmlProperties::Width1024PublishHtmlProperties::Height752"PublishPNGProperties::DitherSolids0"PublishJpegProperties::Progressive0#PublishQTProperties::PlayEveryFrame0)PublishFormatProperties::flashDefaultName1PublishFormatProperties::png0PublishFormatProperties::rnwk0-PublishFormatProperties::projectorMacFileNamemodal-logic7.hqxVector::TopDown0!PublishHtmlProperties::WindowMode0'PublishHtmlProperties::TemplateFileNameyD:\Documents and Settings\Tom\Local Settings\Application Data\Macromedia\Flash MX 2004\en\Configuration\Html\Default.htmlPublishGifProperties::Height752PublishPNGProperties::Interlace0PublishJpegProperties::Size0(PublishFormatProperties::htmlDefaultName1Vector::DeviceSound02PublishHtmlProperties::UsingDefaultContentFilename1"PublishFormatProperties::generator0Vector::Report0PublishGifProperties::LoopCount'PublishGifProperties::TransparentOptionPublishGifProperties::MaxColors255%PublishPNGProperties::RemoveGradients0PublishQTProperties::Height752PublishRNWKProperties::speed56K1&PublishHtmlProperties::ContentFilename(PublishHtmlProperties::AlternateFilename+PublishHtmlProperties::OwnAlternateFilenamePublishFormatProperties::qt0Vector::Stream Compress7Vector::Event Format0Vector::Version7$PublishGifProperties::OptimizeColors1"PublishRNWKProperties::audioFormat0Vector::ActionScriptVersion1Vector::Event Compress7PublishHtmlProperties::Scale0%PublishGifProperties::RemoveGradients0PublishPNGProperties::Width1024PublishPNGProperties::Height752PublishJpegProperties::Height752 PublishRNWKProperties::speed512K00PublishFormatProperties::projectorWinDefaultName1$PublishFormatProperties::gifFileNamemodal-logic7.gifVector::Stream Format0PublishGifProperties::Animated0&PublishGifProperties::TransparentAlpha128!PublishPNGProperties::Transparent0!PublishPNGProperties::PaletteNamePublishJpegProperties::Width1024*PublishQTProperties::UseQTSoundCompression0PublishQTProperties::Looping0"PublishRNWKProperties::exportFlash1&PublishRNWKProperties::showBitrateDlog1(PublishRNWKProperties::speedCorporateLAN0"PublishRNWKProperties::mediaAuthor&PublishFormatProperties::qtDefaultName1"PublishHtmlProperties::VersionInfo%PublishFormatProperties::defaultNames1%PublishFormatProperties::projectorWin0%PublishFormatProperties::rnwkFileNamemodal-logic7.smilPublishPNGProperties::MaxColors255%PublishQTProperties::ControllerOption0"PublishQTProperties::PausedAtStart0,PublishHtmlProperties::UsingOwnAlternateFile0n CColorDef88383888*u8u8+u8Uu8Z8PP8w >8PPPK8jjjd8U8222/8|1 C8`# 48lf_8)_C48`-88}W88dEn8*9v8ro%z81 81 8:<)#8:<)#8"8#$ *8̀888 8`-8.8.8.8֭8ǎ8Η*W8N jA8/D~*8l:>8l:>8F"(888C8GGP8s8 (P88l0a8f8|1 C8r8Uu8?F_1J8?F_1J8?F_1J8S{TQ/a8S{TQ/a8 "r8jqe`8A3pr8r8A3pr8jqe`8|1 C8jqe`8jqe`8W'f8W'f88`-8888D%ir8Ķj"g8^R8o*;84Kz8A8s8A8U8RG8 "r8`*8'(a8 8ӫ(L8AO8'N88^8wC88838T(08ߤ[8ߦb83D8عo8buttonsq:"PublishQTProperties::QTSndSettingsCQTAudioSettings ormat0Vector::ActionScriptVersion1Vector::Event Compress7PublishHtmlProperties::Scale0%PublishGifProperties::RemoveGradients0PublishPNGProperties::Width1024PublishPNGProperties::Height752PublishJpegPropert