Temporal Logic

We believe, however, that the present book succeeds in this difficult endeavor because it approaches established materials from wholly novel points of departure, and is thus able to attain new perspectives and achieve new results.