内容

目次

1. The handling of time: introduction and survey; 2. Semanticalpresentation of temporal connectives; 3. Axiomatic presentation ofpropositional temporal connectives; 4. Predicate temporal logics; 5. Temporallogics presented in the predicate calculus: language-metalanguage; 6. Ageneral theory of axiomatization for propositional temporal logic; 7. Basicmany-dimensional systems; 8. Propositional quantifiers and fixed pointoperators; 9. Expressive power of one-dimensional temporal connectives: basicconcepts; 10. Expressive completeness of Since and Until over integer andreal time; 11. Expressive completeness of Stavi connectives over generallinear time; 12. Further expressive completeness results; 13. H-dimension;14. Adding a temporal dimension to a logic system; 15. Decidability intemporal logic; Bibliography; Notation Index; Index of Systems; Index