Nuprl Lemma : dl-forces-trivial

∀K:dl_KS. ∀phi:Prop. ∀s:worlds(K).  dl_forces(K;tt;phi ⇒ phi;s)


Proof

Error : references
Latex:
\mforall{}K:dl\_KS.  \mforall{}phi:Prop.  \mforall{}s:worlds(K).    dl\_forces(K;tt;phi  {}\mRightarrow{}  phi;s)


Date html generated: 2020_05_20-AM-09_01_51
Last ObjectModification: 2019_05_15-AM-09_22_19

Theory : dynamic!logic


Home Index