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.