---

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

---

Definitions :  all: x:A. B[x],  possible-event: PossibleEvent(poss),  implies: P  Q,  apply: f a
FDL editor aliases :  es-knows

---

K(P)@e  ==    \mforall{}e':PossibleEvent(poss).  ((R  e  e')  {}\mRightarrow{}  (P  e'))


Date html generated: 2010_08_27-AM-09_31_13
Last ObjectModification: 2009_12_16-AM-01_07_20

Home Index