Abstract
The representation of time by means of intervals rather than points was initiated in philosophical logic, see e.g., [Hum79, Röp80, Bur82, vB83]. In computer science the interval structure of time was adopted by James Allen [All83] for use in solving some artificial intelligence problems such as planning and by Ben Moszkowski [Mos83] for reasoning about periods of time found in a formal description of hardware and software systems. Since then interval temporal logics have been extensively studied both in logic and computer science, and they are successfully applied to the specification and verification of properties of real time systems.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2011 Springer Science+Business Media B.V.
About this chapter
Cite this chapter
Orłowska, E., Golińska-Pilarek, J. (2011). Dual Tableaux for Interval Temporal Logics. In: Dual Tableaux: Foundations, Methodology, Case Studies. Trends in Logic, vol 33. Springer, Dordrecht. https://doi.org/10.1007/978-94-007-0005-5_17
Download citation
DOI: https://doi.org/10.1007/978-94-007-0005-5_17
Published:
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-007-0004-8
Online ISBN: 978-94-007-0005-5
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)