The modal-logic tag has no wiki summary.
1
vote
1answer
89 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. ...
2
votes
3answers
104 views
Why is GFp -> GFq false in LTL, even though GFp and GFq are false?
Consider the Kripke structure:
$$
\begin{array}{ccccccc}
\to & (p, \neg q) & \to & (\neg p, \neg q) & \to & (\neg p, q) \\
& \circlearrowright & & \circlearrowright ...
