Engineering Commons^™

Temporal Logic Extension For Self-Referring, Nonexistence, Multiple Recurrence, And Anterior Past Events, Şadi̇ Evren Şeker

Turkish Journal of Electrical Engineering and Computer Sciences

This study focuses on the possible extensions of current temporal logics. In this study, 4 extensions are proposed: self-referring events, nonexisting events, multiple recurrence of events, and an improvement on anterior past events. Each of these extensions is on a different level of temporal logics. The main motivation behind the extensions is the temporal analysis of Turkish. Similar to temporal logic studies built on other natural languages, like French, Ukrainian, Italian, Korean, English, or Romanian, this is the first time that the Turkish language has been deeply questioned in the sense of computable temporal logic using the view of a …