2
$\begingroup$

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.

Improve this question
$\endgroup$
3
  • 4
    $\begingroup$ How about the book "Model Checking" by EM Clarke et al? $\endgroup$
    – hengxin
    Commented May 9, 2015 at 8:08
  • $\begingroup$ Yes, that's a good bock. Very much appreciated. $\endgroup$
    – wmac
    Commented May 9, 2015 at 16:20
  • 1
    $\begingroup$ There is also is.ifmo.ru/books/_principles_of_model_checking.pdf and the new "Handbook of Model Checking". $\endgroup$
    – Guy
    Commented Nov 13, 2015 at 22:07

1 Answer 1

Reset to default
1
$\begingroup$

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

Improve this answer
$\endgroup$
2
  • 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
    Commented 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
    Commented 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.