Nuprl Definition : dl-label

dl-label(d) ==  mobj-label(d)


Definitions occuring in Statement :  mobj-label: mobj-label(x)
Definitions occuring in definition :  mobj-label: mobj-label(x)
FDL editor aliases :  dl-label
Latex:
dl-label(d)  ==    mobj-label(d)


Date html generated: 2019_10_15-AM-11_39_59
Last ObjectModification: 2019_03_26-AM-11_16_31

Theory : dynamic!logic


Home Index