All Questions
Tagged with linear-temporal-logic modal-logic
2 questions
1
vote
2
answers
79
views
What is the Kripke semantic for a linear temporal logic?
I've read that in general for a modal formula P, a world w and a Kripke frame ⟨W,R⟩
w⊨□P if and only if for every u∈W, if wRu then u⊢P
In case of LTL, being a modal logic, I assumed that the worlds ...
- 271
3
votes
3
answers
412
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 ...
- 31