---

Only agents in As have atoms in secrets ==
  e:E. ((asecrets. (e has a))  (loc(e)  As))

---

Definitions :  all: x:A. B[x],  es-E: E,  implies: P  Q,  l_exists: (xL. P[x]),  atom: Atom$n,  event-has: (e has a),  l_member: (x  l),  es-loc: loc(e),  Id: Id
FDL editor aliases :  ses-secrecy

---

Only  agents  in  As  have  atoms  in  secrets  ==    \mforall{}e:E.  ((\mexists{}a\mmember{}secrets.  (e  has  a))  {}\mRightarrow{}  (loc(e)  \mmember{}  As))


Date html generated: 2010_08_28-AM-02_08_37
Last ObjectModification: 2010_03_10-PM-09_15_09

Home Index