Temporal logic
Subtitle: tense or nontense
By: Dov Gabbay.
Contributors: Imperial College of Science and Technology. Department of Computing.
Publisher: Imperial College of Science and Technology, Department of Computing
Published: 1988
Place of publication: London
Language: eng
Number of pages: 54
Notes: Comprises printed versions, annotated by the author, of the slides used in his inaugural lecture at Imperial College, given on May 17th 1988.