Temporal Logic: Volume 2

Delve into the intricate world of temporal logic with "Temporal Logic: Volume 2" by Dov. M. Gabbay, published by Oxford University Press in 2000. This hardcover edition spans an impressive 612 pages and serves as a comprehensive companion to its predecessor, offering deeper insights that engage both philosophers and computer scientists alike.

This volume explores the fascinating interplay between time and logic, a vital area of study in computer science. It unravels the multifaceted effects that time has on logical systems, making it essential for anyone interested in mathematical logic. Whether you're a seasoned professional or a curious newcomer, this book is an invaluable resource that will enrich your understanding of the complexities of temporal reasoning.