1
vote
What is the Kripke semantic for a linear temporal logic?
tl;dr The accessibility relation needs to be the reflexive transitive closure of what you had in mind.
Details:
Let $P$ be a set of atomic proposition. Write $\Sigma$ for $P$'s powerset. Write $T$ for ...
- 663
Only top scored, non community-wiki answers of a minimum length are eligible