Nuprl Lemma : dl-valid-box-comp2

∀a,b:Prog. ∀phi,psi:Prop. |= phi ⇒ [b] psi ⇒ [a] phi ⇒ [(a;b)] psi
Error : references

Latex:
\mforall{}a,b:Prog. \mforall{}phi,psi:Prop. |= phi {}\mRightarrow{} [b] psi {}\mRightarrow{} [a] phi {}\mRightarrow{} [(a;b)] psi Date html generated: 2020_05_20-AM-09_00_52 Last ObjectModification: 2019_03_28-PM-08_57_29 Theory : dynamic!logic Home Index