Nuprl Lemma : dl-valid-box-test-implies2

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

Latex:
\mforall{}a:Prog. \mforall{}phi,psi:Prop. (|= [psi] a {}\mRightarrow{} |= [(psi)?] phi) Date html generated: 2020_05_20-AM-09_00_55 Last ObjectModification: 2019_03_29-PM-10_16_23 Theory : dynamic!logic Home Index