The mu-calculus tag has no wiki summary.
1
vote
1answer
37 views
Have I got the right understanding of the mu operator?
I have a homework problem that says:
For $g(x,y)=xy-5$ compute $h(x) = \mu y(g(x,y))$ and determine its domain.
I was under the impression that this means the least y such that $g(x,y)=0$, so then ...
1
vote
1answer
92 views
Intuitive meaning of modal $\mu$-calculus formula
I am solving one of the past exams and I am not certain with my solution to one of the exercises. The exercise is asking to give intuitive meaning to modal $\mu$-calculus formula:
$$ \phi = \mu Z. ...
