Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to logics of discrete (integer), dense (rational), and continuous (real) time, to the temporal logic of henceforth, next, and until, and to the propositional dynamic logic of regular programs.
- ISBN10 0937073946
- ISBN13 9780937073940
- Publish Date 1 September 1992 (first published 1 May 1987)
- Publish Status Active
- Out of Print 7 July 2021
- Publish Country US
- Imprint Centre for the Study of Language & Information
- Edition 2nd Revised edition
- Format Paperback (US Trade)
- Pages 180
- Language English
- URL http://wiley.com/remtitle.cgi?isbn=9780937073940