Abstract
This paper investigates the connection between temporal logic and the semantics of some temporal expressions in English. Specifically, we show how the meanings of English temporal preposition-phrases can be expressed as modal operators in an interval-based temporal logic which we call ETL0. We show how cascaded temporal preposition phrases and temporal preposition phrases with complex complements can be translated into ETL0. Finally, we present a decision-procedure for ETL0 and establish its correctness. The main contribution of the paper is to provide a characterization, in terms familiar to modal logicians, of the expressive resources made available by an important class of temporal expressions in English.
The authors would like to thank Mr. Dominik Schoop for his comments on the manuscript. The authors also gratefully acknowledge the support of the EPSRC, grant number GR/L/07529.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ali, S. S. and S. Shapiro: 1993, ‘Natural language processing using a propositional semantic network’. Minds and Machines 3 (4), 421–452.
Allen, J. F.: 1984, ‘Towards a general theory of action and time’. Artificial Intelligence 23, 123–154.
Franconi, E.: 1993, ‘A treatment of plurals and plural quantifications based on a theory of collections’. Minds and Machines 3 (4), 453–474.
Harel, D.: 1984, ‘Dynamic Logic’. In: D. Gabbay and F. Guenthner (eds.): Handbook of Philosophical logic, Vol. II. D. Reidel, Dordrecht, pp. 89–133.
Henkin, L., J. M. and A. Tarski: 1985, Cylindric Algebras, Vol. II. Amsterdam: North Holland.
Herweg, M.: 1991, ‘A critical examination of two approaches to aspect’. Journal of Semantics 8.
Hwang, C. H. and L. K. Schubert: 1993, ‘Episodic Logic: A comprehensive, Natural Representation for Language Understanding’. Minds and Machines 3 (4), 381–420.
Ladkin, P. and R. Maddux: 1994, ‘On Binary Constraint Problems’. Journal of the Association for Computing Machinery 41 (3), 435–469.
Nemeti, I.: 1991, ‘Algebraizations of quantifier logics: and introductory overview’. Studia Logica 50 (3–4), 485–569.
Schild, K.: 1991, ‘A correspondence theory for terminological logics: preliminary report’. In: Proceedings, IJCAI. pp. 466–471.
Steedman, M.: 1996, ‘Temporality’. In: J. van Benthem and A. ter Meulen (eds.): Handbook of Logic and Language. Elsevier.
Suppes, P.: 1991, Languages for Humans and Robots. Blackwell.
Venema, Y.: 1990, ‘Expressiveness and Completeness of an Interval Tense Logic’. Notre Dame Journal of Formal Logic 31 (4).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Pratt, I., Francez, N. (2000). A Decidable Temporal Logic for Temporal Prepositions. In: Barringer, H., Fisher, M., Gabbay, D., Gough, G. (eds) Advances in Temporal Logic. Applied Logic Series, vol 16. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-9586-5_13
Download citation
DOI: https://doi.org/10.1007/978-94-015-9586-5_13
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-5389-3
Online ISBN: 978-94-015-9586-5
eBook Packages: Springer Book Archive