Quote: Kamp extended L with tense operators, 'until' and 'since'; allows definition of any first-order tense

Quotation Skeleton

This celebrated result has been extended to temporal … [J.A.W Kamp 1968], who has shown that the language L (U,S), which is … any first-order definable tense is definable in this …   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: temporal relationships (40 items)