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.

$\endgroup$
1
$\begingroup$

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

$\endgroup$
  • 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 '15 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 '15 at 8:20

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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