I need a reference for CTL* logic (preferably easy to understand).

I have gathered some disperse information regarding temporal and CTL logic but I need a more orderly coverage. A chapter of the multi-agent systems book I read depends on this subject and I am stuck.


1 Answer 1


See Venema, Yde. Temporal Logic. The blackwell guide to Philosophical Logic.

  • 1
    $\begingroup$ Hey, it seems like your post has been flagged as "low quality". May I kindly suggest that you expand on your answer, e.g. by giving reasons this book is suitable for the purposes stated in the question, the recommended audience (beginner? graduate? etc.) as to improve it? $\endgroup$
    – chazisop
    May 18, 2015 at 10:57
  • $\begingroup$ He is pointing to blackwellreference.com/public/… which is a very good reference for temporal logic. The person who downvoted should be blamed. $\endgroup$
    – wmac
    Dec 14, 2015 at 8:20

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.