Nuprl Definition : dl-prog-sem
[|alpha|] == dl-sem(K;n.R[n];m.P[m]) prog(alpha)
Definitions occuring in Statement :
dl-sem: dl-sem(K;n.R[n];m.P[m]),
dl-prog-obj: prog(x),
apply: f a
Definitions occuring in definition :
apply: f a,
dl-sem: dl-sem(K;n.R[n];m.P[m]),
dl-prog-obj: prog(x)
FDL editor aliases :
dl-prog-sem
Latex:
[|alpha|] == dl-sem(K;n.R[n];m.P[m]) prog(alpha)
Date html generated:
2019_10_15-AM-11_43_46
Last ObjectModification:
2019_03_26-AM-11_28_18
Theory : dynamic!logic
Home
Index