The tag has no wiki summary.

learn more… | top users | synonyms

1
vote
2answers
41 views

The use of modal logic in computer science [closed]

I have a tentative understanding of modal logic. Can anyone explain modal logic as it is used in computer science?
1
vote
1answer
225 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
151 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 ...