Nuprl Definition : ses-secrecy
Only agents in As have atoms in secrets == ∀e:E. ((∃a∈secrets. (e has a)) ⇒ (loc(e) ∈ As))
Definitions occuring in Statement :
event-has: (e has a),
es-loc: loc(e),
es-E: E,
Id: Id,
l_exists: (∃x∈L. P[x]),
l_member: (x ∈ l),
all: ∀x:A. B[x],
implies: P ⇒ Q
FDL editor aliases :
ses-secrecy
Latex:
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:
2015_07_23-PM-00_05_45
Last ObjectModification:
2013_10_01-PM-04_45_47
Home
Index