Systems of Temporal Logic for a Use of Engineering. Toward a More Practical Approach

  • Krystian JobczykEmail author
  • Antoni Ligeza
Conference paper
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 423)


This paper is aimed at the evaluating of utility of 3 temporal logics: linear temporal logic (LTL), Allen’s interval algebra and Halpern-Shoham interval logic from the point of view of the engineering practice. We intend to defend the thesis that chosen systems are only partially able to satisfy typical requirements of engineers.


Modal Logic Temporal Logic Engineering Requirement Expressive Power Temporal System 
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.


  1. 1.
    Allen, J.: Maintaining knowledge about temporal intervals. In: Communications of ACM, vol. 26, no. 11, pp. 832–843 (1983)Google Scholar
  2. 2.
    Antonniotti, B., Mishra, M.: Discrete event models + temporal logic = supervisory controller: automatic synthesis of locomotion controllers. In: Proceedings of IEEE International Conference on Robotics and Automation (1999)Google Scholar
  3. 3.
    Bacchus, F., Kabanza, F.: Using temporal logic to express search control knowledge for planning. Artif. Intell. 116 (2000)Google Scholar
  4. 4.
    Emerson, A.: Temporal and modal logic. In: Handbook of Theoretical Computer Science, vol. B, pp. 995–1072 (1990)Google Scholar
  5. 5.
    Fainekos, G., Kress-gazit, H., Pappas, G.: Hybrid controllers for path planning: a temporal logic approach. In: Proceeding of the IEEE International Conference on Decision and Control, pp. 4885–4890. Sevilla, Dec 2005Google Scholar
  6. 6.
    Fainekos, G., Kress-gazit, H., Pappas, G.: Temporal logic moton planning for mobile robots. In: Proceeding of the IEEE International Conference on Robotics and Automaton, pp. 2032–2037 (2005)Google Scholar
  7. 7.
    Gabbay, D., Kurucz, A., Wolter, F., Zakharyaschev, M.: Many-Dimensional Modal Logics: Theory and Application. Elsevier (2003)Google Scholar
  8. 8.
    Halpern, J., Shoham, Y.: A propositional modal logic of time intervals. J. ACM 38, 935–962 (1991)CrossRefMathSciNetzbMATHGoogle Scholar
  9. 9.
    Maximova, L.: Temporal logics with operator ‘the next’ do not have interpolation or beth property. In: Sibirskii Matematicheskii Zhurnal, vol. 32, no. 6, pp. 109–113 (1991)Google Scholar
  10. 10.
    Moszkowski, B.: Handbook of spatial logics. PhD-thesis, Stanford, Stanford University Press, 1983Google Scholar
  11. 11.
    van Benthem, J., Bezhanishvili, G.: Modal logic of space. In: Handbook of Spatial Logics, pp. 217–298. Springer (2007)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  1. 1.University of CaenCaenFrance
  2. 2.AGH University of Science and Technology of KrakówKrakówPoland

Personalised recommendations