BSTS / Mantık Terimleri Sözlüğü
süreler mantığı anlamı İng. temporal logic, chronological logic, tense logic Alm. Zeitlogik Fr. logique temporelle
Temel mantığa süresel yöneticileri katmakla oluşturulan genleşmiş mantık dizgesi.|| Om olmuş, Oc olacak, Hom hep olmuş, Hoc hepolacak yöneticileri olduğunda, başlıca süresel mantık kuralları şöyledir: (…) biçimindeki önermelerin geçerliliğini dile getiren kurallar.