This is the home page of the forthcoming book Temporal Logics in Computer Science, to be published by Cambridge University Press.
With this book we purport to offer a modern, uniform, technically precise and conceptually in-depth exposition of the topic, focusing on the intrinsically logical aspects of it, and including both classical and recent results and methods of fundamental importance about the most popular modal and temporal logics used in computer science.
The book is being written with the specific intention to be suitable as a reasonably comprehensive graduate textbook exposition of the state-of-the-art in the field. For that purpose, it presents an essentially self-contained and rigorous treatment of the content, with precise definitions, statements and detailed proofs, as well as numerous examples, exercises, and additional references in bibliographic notes at the end of every chapter.
We invite the reader to freely download — after simple registration and login — and browse through the draft chapters which we will be posting here, and to use them as self-study or course notes material.
Any comments, criticism, suggestions and further references would be most appreciated. These can be posted on the blog or sent to us by email to this address.
Stephane Demri, Valentin Goranko and Martin Lange
January 25, 2014