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

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
    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 that you have read and understand our privacy policy and code of conduct.

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