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