Temporal Logic

@inproceedings{Palshikar2009TemporalL,
  title={Temporal Logic},
  author={Girish Keshav Palshikar},
  booktitle={Encyclopedia of Database Systems},
  year={2009}
}
How do we unambiguously represent knowledge about changes over time? What are the rigorous inference rules that can be used to deduce conclusions from such temporal knowledge? These are important questions that have found new relevance with the advent of modern computing and the deployment of dynamic software systems in safety-critical applications (e.g., in bio-medical, aviation, space and nuclear power plants) that continuously deal with a changing environment. 

References

Temporal and Modal Logic
  • E. Emerson
  • Philosophy
    Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics
  • 1990