Nuprl Lemma : dl-valid-box-comp

∀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_48 Last ObjectModification: 2019_03_26-AM-11_28_32 Theory : dynamic!logic Home Index