Part of the Studies in Linguistics and Philosophy book series (SLAP, volume 57)
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
• computer science.
KeywordsTemporal 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.
Unable to display preview. Download preview PDF.
© Kluwer Academic Publishers 1995