one ef the most important innovations in the history ef traditional logic is the avicena's theory ef temporal modalities (.atm). althottgh) the basic concepts and elements ef this theory are fottnded in aristotelian and stoic-lvlegarian !0 gic) but as a independent lo,gical system, are devised on/y fry avicenna and were later developed and completed fry his followers. the atm theory contai...

Despite considerable enhances in recognizing hand gestures from still images, there are still many challenges in the classification of hand gestures in videos. The latter comes with more challenges, including higher computational complexity and arduous task of representing temporal features. Hand movement dynamics, represented by temporal features, have to be extracted by analyzing the total fr...

One of the most problematic areas for teachers and learners in English classrooms is prepositions. Two types of prepositions in English are spatial (space) and temporal (time) prepositions. Prepositions are words linking two entities and thereby specifying the relation of the two. The main purpose of this study was to investigate the role of games and flash cards in learning place and time prep...

Timing diagrams are useful for capturing temporal specifications in which all mentioned events are required to occur. We first show that translating timing diagrams with both partial orders on events and don’t-care regions to LTL potentially yields exponentially larger formulas containing several non-localized terms corresponding to the same event. This raises a more fundamental question: which...

Temporal logic based on the two modalities “Since” and “Until” (TL) is the most popular logic for the specification of reactive systems. It is often called the linear time temporal logic. However, metric properties of real time cannot be expressed in this logic. The simplest modalities with metric properties are “X will happen within units of time”. The extension of TL by all these modalities w...