Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 1 by Mark A. Reynolds, Dov M. Gabbay, Ian Hodkinson

Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 1

Mark A. Reynolds, Dov M. Gabbay, Ian Hodkinson

missing page info Add in missing page information • first pub 1994 (editions)

medium-paced
Powered by AI (Beta)
Loading...

Description

This much-needed book provides a thorough account of temporal logic, one of the most important areas of logic in computer science today. The book begins with a solid introduction to semantical and axiomatic approaches to temporal logic. It goes on...

Read more

Community Reviews

Loading...

Content Warnings

Loading...