Temporal prepositions and their logic

Artificial Intelligence

Volumn 166, Issue 1-2, 2005, Pages 1-36

  Pratt Hartmann, Ian ^a  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

Computational complexity; Interval temporal logic; Natural language; Temporal prepositions

Indexed keywords

COMPUTATIONAL COMPLEXITY; CONTEXT FREE GRAMMARS; NATURAL LANGUAGE PROCESSING SYSTEMS; PROBLEM SOLVING; SEMANTICS; SET THEORY;

ENGLISH SENTENCES; INTERVAL TEMPORAL LOGIC; NATURAL LANGUAGE CONSTRUCTION; TEMPORAL PREPOSITIONS;

ARTIFICIAL INTELLIGENCE;

EID: 21444446960     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.artint.2005.04.003     Document Type: Article

References (26)

1. D.C. Bennett Spatial and Temporal Uses of English Prepositions Longman Linguistics Library vol. 17 1975 Longman London
2. E. Börger, E. Grädel, and Y. Gurevich The Classical Decision Problem. Perspectives in Mathematical Logic 1997 Springer Berlin
3. H. Bowman, and S. Thompson A decision procedure and complete axiomatization of finite interval temporal logic with projection J. Logic Comput. 13 2 2003 195 239
4. R. Crouch, and S. Pullman Time and modality in a natural language planning system Artificial Intelligence 63 1993 265 304
5. D. Davidson The logical form of action sentences N. Rescher The Logic of Decision and Action 1967 University of Pittsburgh Press Pittsburgh 81 95
6. D. Dowty Word Meaning and Montague Grammar 1979 D. Reidel Dordrecht
7. V. Goranko, A. Montanari, and G. Sciavicco A general tableau method for propositional interval temporal logics M.C. Mayer F. Pirri Tableaux 2003 Lecture Notes in Artificial Intelligence vol. 2796 2003 Springer Berlin 102 117
8. V. Goranko, A. Montanari, and G. Sciavicco A road map of interval temporal logics and duration calculi J. Appl. Non-Classical Logics 14 1-2 2004 9 54
9. J.Y. Halpern, and Y. Shoham A propositional modal logic of time intervals J. ACM 38 4 1991 935 962
10. J. Higginbotham F. Pianesi A.C. Varzi Speaking of Events 2000 Oxford University Press New York
11. R. Huddleston, and G. Pullum The Cambridge Grammar of the English Language 2002 Cambridge University Press Cambridge
12. C.H. Hwang, and L.K. Schubert Interpreting tense, aspect and time adverbials D.M. Gabbay H.-J. Ohlbach Proc. First International Conference on Temporal Logic Lecture Notes in Computer Science vol. 827 1994 Springer Berlin 238 264
13. H. Kamp, and U. Reyle From Discourse to Logic: Introduction to Model theoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory Studies in Linguistics and Philosophy vol. 42 1993 Kluwer Academic London
14. B. Moszkowski A temporal logic for multilevel reasoning about hardware Computer 18 1985 10 19
15. T. Ogihara Tense, Attitudes and Scope Studies in Linguistics and Philosophy vol. 58 1996 Kluwer Dordrecht
16. B. Paech Gentzen-systems for propositional temporal logics E. Börger H. Kleine Büning M. Richter Proceedings of the 2nd Workshop on Computer Science Logic Lecture Notes in Computer Science vol. 385 1988 Springer Berlin 240 253
17. T. Parsons Events in the Semantics of English: A Study in Subatomic Semantics 1990 MIT Press Cambridge, MA
18. I. Pratt, and N. Francez Temporal prepositions and temporal generalized quantifiers Linguistics and Philosophy 24 2001 187 222
19. M. Steedman Temporality J. van Benthem A. ter Meulen Handbook of Logic and Language 1996 Elsevier Amsterdam 895 935
20. G. Stump The Semantic Variability of Absolute Constructions 1985 Kluwer Dordrecht
21. A.G. ter Meulen Representing Time in Natural Language 1996 MIT Press Cambridge, MA
22. Z. Vendler Linguistics in Philosophy 1967 Cornell University Press Ithaca, NY
23. Y. Venema Expressiveness and completeness of an interval tense logic Notre Dame J. Formal Logic 31 4 1990 529 547
24. Y. Venema A modal logic for chopping intervals J. Logic Computation 1 4 1991 453 476
25. A. von Stechow Temporal preposition-phrases with quantifiers: Some additions to Pratt and Francez (2001) Linguistics and Philosophy 25 2002 755 800
26. S. Zucchi, and M. White Twigs, sequences and the temporal constitution of predicates Linguistics and Philosophy 24 2001 223 270