Skip to main content
SpringerLink
Log in

Decidability of Interval Temporal Logics over Split-Frames via Granularity

  • Conference paper
  • First Online:
Logics in Artificial Intelligence (JELIA 2002)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 2424))

Included in the following conference series:

Abstract

Logics for time intervals provide a natural framework for representing and reasoning about timing properties in various areas of artificial intelligence and computer science. Unfortunately, most interval temporal logics proposed in the literature have been shown to be (highly) undecidable. Decidable fragments of these logics have been obtained by imposing severe restrictions on their expressive power.

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

Access this chapter

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 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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J. F. Allen. Maintaining Knowledge about Temporal Intervals. Communications of the ACM, 26:832–843, 1983.

    Article  MATH  Google Scholar 

  2. P. Blackburn, M. de Rijke, and Y. Venema. Modal Logic. Cambridge University Press, 2001.

    Google Scholar 

  3. H. Bowman and S. J. Thompson. A tableaux method for interval temporal logic with projection. Lecture Notes in Artificial Intelligence, 1397:108–123, 1998.

    Google Scholar 

  4. Z. Chaochen and M. R. Hansen. An Adequate First Order Interval Logic. Lecture Notes in Computer Science, 1536:584–608, 1998.

    Google Scholar 

  5. J. Y. Halpern, Z. Manna, and B. Moszkowski. A Hardware Semantics Based on Temporal Intervals. Lecture Notes in Computer Science, 154:278–291, 1983.

    Google Scholar 

  6. J. Y. Halpern and Y. Shoham. A Propositional Modal Logic of Time Intervals. Journal of the ACM, 38(4):935–962, 1991.

    Article  MATH  MathSciNet  Google Scholar 

  7. A. Montanari, A. Peron, and A. Policriti. Decidable theories of ω-layered metric temporal structures. Logic Journal of the IGPL, 7(1):79–102, 1999.

    Article  MATH  MathSciNet  Google Scholar 

  8. A. Montanari and A. Policriti. Decidability results for metric and layered temporal logics. Notre Dame Journal of Formal Logic, 37:260–282, 1996.

    Article  MATH  MathSciNet  Google Scholar 

  9. A. Montanari, G. Sciavicco, and N. Vitacolonna. Decidability of Interval Temporal Logics over Split-Frames via Granularity. Research Report 01/02, Department of Mathematics and Computer Science, University of Udine, February 2002.

    Google Scholar 

  10. A. Montanari. Metric and Layered Temporal Logic for Time Granularity. PhD thesis, ILLC, University of Amsterdam, 1996.

    Google Scholar 

  11. B. C. Moszkowski. Reasoning about digital circuits. PhD thesis, Stanford University, June 1983.

    Google Scholar 

  12. J. van Benthem. The Logic of Time. Kluwer Academic Publisher, 2nd ed., 1991.

    Google Scholar 

  13. Y. Venema. A Modal Logic for Chopping Intervals. Journal of Logic and Computation, 1(4):453–476, 1991.

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Udine, via delle Scienze 206, 33100, Udine (UD), Italy

    Angelo Montanari, Guido Sciavicco & Nicola Vitacolonna

Authors
  1. Angelo Montanari
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Guido Sciavicco
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Nicola Vitacolonna
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. DEIS, University of Calabria, P.te P. Bucci, Cubo 41C, 87036, Rende, CS, Italy

    Sergio Flesca  & Sergio Greco  & 

  2. Department of Mathematics, University of Calabria, P.te P. Bucci, Cubo 30B, 87036, Rende, CS, Italy

    Giovambattista Ianni  & Nicola Leone  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Montanari, A., Sciavicco, G., Vitacolonna, N. (2002). Decidability of Interval Temporal Logics over Split-Frames via Granularity. In: Flesca, S., Greco, S., Ianni, G., Leone, N. (eds) Logics in Artificial Intelligence. JELIA 2002. Lecture Notes in Computer Science(), vol 2424. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45757-7_22

Download citation

  • DOI: https://doi.org/10.1007/3-540-45757-7_22

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-44190-8

  • Online ISBN: 978-3-540-45757-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation