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
Hi-index | 0.00 |
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.