Advertisement

Temporal Logic pp 366-372 | Cite as

Conclusion

Part of the Studies in Linguistics and Philosophy book series (SLAP, volume 57)

Abstract

The logic of time provides one of the most striking examples of a fruitful interaction between a variety of disciplines, which are normally kept apart, more or less strictly. Philosophy, logic and computer science have played the key parts in this interaction, but we can well refine that picture considerably: we have (to varying degrees) been drawing — as has the development of the logic of time — on what appears to be very diverse sources, namely:
  • • general philosophy

  • • ethical and theological considerations

  • • conceptual analysis

  • • linguistic considerations

  • • literary fiction

  • • the history of ideas

  • • mathematics

  • • physics

  • • computer science.

Keywords

Temporal Logic Logic Programming Logical Analysis Constraint Programming High Level Programming Language 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Kluwer Academic Publishers 1995

Personalised recommendations