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 ...
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. ...