<p>See Venema, Yde. Temporal Logic. The blackwell guide to Philosophical Logic.</p>

CC BY-SA 3.0
2015-05-18T10:57:24.937Z
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?
chazisop
CC BY-SA 3.0
2015-12-14T08:20:44.010Z
He is pointing to http://www.blackwellreference.com/public/tocnode?id=g9780631206934_chunk_g978063120693413 which is a very good reference for temporal logic. The person who downvoted should be blamed.
wmac
CC BY-SA 3.0
2015-05-16T04:14:28.217Z
2015-05-16T04:14:28.217Z
user34130
<p>I need a reference for CTL* logic (preferably easy to understand). </p>

<p>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.</p>

CC BY-SA 3.0
2015-05-09T08:08:59.573Z
How about the book ["Model Checking"](http://mitpress.mit.edu/books/model-checking) by EM Clarke et al?
hengxin
CC BY-SA 3.0
2015-05-09T16:20:26.663Z
Yes, that's a good bock. Very much appreciated.
wmac
CC BY-SA 3.0
2015-11-13T22:07:39.853Z
There is also http://is.ifmo.ru/books/_principles_of_model_checking.pdf
and the new "Handbook of Model Checking".
Guy
<reference-request><lo.logic><temporal-logic>
Reference for CTL* logic
wmac
# Reference for CTL* logic

(Asked by: username_0 on 2015-05-09)

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.

**Tags:** reference-request, lo.logic, temporal-logic

> **Comments:**
> **username_1**: How about the book ["Model Checking"](http://mitpress.mit.edu/books/model-checking) by EM Clarke et al?  
> **username_0**: Yes, that's a good bock. Very much appreciated.  
> **username_2**: There is also http://is.ifmo.ru/books/_principles_of_model_checking.pdf and the new "Handbook of Model Checking".  

---

## 1 answers

### Answer by username_3 on 2015-05-16. Score: 1

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

> **Comments:**
> **username_4**: 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?  
> **username_0**: He is pointing to http://www.blackwellreference.com/public/tocnode?id=g9780631206934_chunk_g978063120693413 which is a very good reference for temporal logic. The person who downvoted should be blamed.  

---

