Nuprl Definition : es-knows

K(P)@e ==  ∀e':PossibleEvent(poss). ((R e e') ⇒ (P e'))


Definitions occuring in Statement :  possible-event: PossibleEvent(poss),  all: ∀x:A. B[x],  implies: P ⇒ Q,  apply: f a
FDL editor aliases :  es-knows es-knows
Latex:
K(P)@e  ==    \mforall{}e':PossibleEvent(poss).  ((R  e  e')  {}\mRightarrow{}  (P  e'))


Date html generated: 2016_05_16-AM-09_52_23
Last ObjectModification: 2013_03_25-PM-01_51_16

Theory : new!event-ordering


Home Index