Tense and tense logic

The scope is to determine to what extent the tense markers of tense logic represent what is represented by the tense forms of natural language. After a general discussion of this problem, the language of tense logic is described, and related problems such as the structure of time, the structure of history and the nature of causality and knowledge are discussed. Several languages other than the basic language of tense logic are described to answer some of the questions raised about features of tense and the relation between logical languages and the theories expressed in them. M.-M. V.