Abstract

Arthur Prior established tense Logic as one of the developed branches of the Modern Logic in 1957. Today it is applied in the philosophical -physical explanation of time, the logical analysis of natural language, artificial intelligence, and computer sciences. Since a thorough study in the explanation of the syntactic structure of Tense Logic has not yet been completed, the present author, inspired by the Fitch style in Modal Logic, attempts to introduce the Natural Deduction Method in some systems of the Tense Logic such as kc and kt and to apply it in the formal calculations therein.

Keywords