Skip to main content
SpringerLink
Log in
Book cover

Intelligent Systems for Computer Modelling pp 147–157Cite as

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

  • Conference paper
  • First Online:

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 423))

Abstract

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. Allen, J.: Maintaining knowledge about temporal intervals. In: Communications of ACM, vol. 26, no. 11, pp. 832–843 (1983)

    Google Scholar 

  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. Bacchus, F., Kabanza, F.: Using temporal logic to express search control knowledge for planning. Artif. Intell. 116 (2000)

    Google Scholar 

  4. Emerson, A.: Temporal and modal logic. In: Handbook of Theoretical Computer Science, vol. B, pp. 995–1072 (1990)

    Google Scholar 

  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 2005

    Google Scholar 

  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. Gabbay, D., Kurucz, A., Wolter, F., Zakharyaschev, M.: Many-Dimensional Modal Logics: Theory and Application. Elsevier (2003)

    Google Scholar 

  8. Halpern, J., Shoham, Y.: A propositional modal logic of time intervals. J. ACM 38, 935–962 (1991)

    Article  MathSciNet  MATH  Google Scholar 

  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. Moszkowski, B.: Handbook of spatial logics. PhD-thesis, Stanford, Stanford University Press, 1983

    Google Scholar 

  11. van Benthem, J., Bezhanishvili, G.: Modal logic of space. In: Handbook of Spatial Logics, pp. 217–298. Springer (2007)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Caen, Caen, France

    Krystian Jobczyk

  2. AGH University of Science and Technology of Kraków, Kraków, Poland

    Krystian Jobczyk & Antoni Ligeza

Authors
  1. Krystian Jobczyk
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Antoni Ligeza
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Krystian Jobczyk .

Editor information

Editors and Affiliations

  1. Faculty of Electrical Eng. and Comp., VŠB-Technical University of Ostrava, Ostrava, Czech Republic

    Vítězslav Stýskala

  2. Department of Electrical Engineering, VŠB – Technical University of Ostrava, Ostrava, Czech Republic

    Dmitrii Kolosov

  3. Faculty of Electrical Engineering and, Technical University of Ostrava, Ostrava-Poruba, Czech Republic

    Václav Snášel

  4. after Jusup Balasagyn, Kyrgyz National University named, Bishkek, Kyrgyzstan

    Taalaybek Karakeyev

  5. Sci N/w for Innova and Research Exc, Machine Intelligence Research Labs, Washington, USA

    Ajith Abraham

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this paper

Cite this paper

Jobczyk, K., Ligeza, A. (2016). Systems of Temporal Logic for a Use of Engineering. Toward a More Practical Approach. In: Stýskala, V., Kolosov, D., Snášel, V., Karakeyev, T., Abraham, A. (eds) Intelligent Systems for Computer Modelling . Advances in Intelligent Systems and Computing, vol 423. Springer, Cham. https://doi.org/10.1007/978-3-319-27644-1_14

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-27644-1_14

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-27642-7

  • Online ISBN: 978-3-319-27644-1

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation