Temporal prepositions and their logic

Authors:
Ian Pratt-Hartmann
Affiliations:
School of Computer Science, University of Manchester, Manchester M13 9PL, UK
Venue:
Artificial Intelligence
Year:
2005

Citing 5
Cited 5

A propositional modal logic of time intervals

Journal of the ACM (JACM)
Time and modality in a natural language interface to a planning system

Artificial Intelligence - Special volume on natural language processing
Gentzen-Systems for Propositional Temporal Logics

CSL '88 Proceedings of the 2nd Workshop on Computer Science Logic
Interpreting Tense, Aspect and Time Adverbials: A Compositional, Unified Approach

ICTL '94 Proceedings of the First International Conference on Temporal Logic
A Temporal Logic for Multilevel Reasoning about Hardware

Computer

An Event-Based Fragment of First-Order Logic over Intervals

Journal of Logic, Language and Information
Optimal tableau systems for propositional neighborhood logic over all, dense, and discrete linear orders

TABLEAUX'11 Proceedings of the 20th international conference on Automated reasoning with analytic tableaux and related methods
Strings over intervals

TIWTE '11 Proceedings of the TextInfer 2011 Workshop on Textual Entailment
A survey on temporal logics for specifying and verifying real-time systems

Frontiers of Computer Science: Selected Publications from Chinese Universities
Specifying safety-critical systems with a decidable duration logic

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

A fragment of English featuring temporal prepositions and the order-denoting adjectives first and last is defined by means of a context-free grammar. The phrase-structures which this grammar assigns to the sentences it recognizes are viewed as formulas of an interval temporal logic, whose satisfaction-conditions faithfully represent the meanings of the corresponding English sentences. It is shown that the satisfiability problem for this logic is NEXPTIME-complete. The computational complexity of determining logical relationships between English sentences featuring the temporal constructions in question is thus established.