Category:Temporal logic

<nowiki>lógica temporal; logique temporelle; lògica temporal; Temporale Logik; lógica temporal; منطق زمانی; 时间逻辑; tidslogik; Zamansal mantık; 時相論理; Χρονική λογική; Temporálna logika; Logika temporalna; לוגיקת זמן; tijdslogica; logica temporale; Темпоральна логіка; Temporaalilogiikka; 시간 논리; temporal logic; tempa logiko; Temporální logika; Темпоральная логика; System for representing and reasoning about time; 時間との関連で問題を理解し表現するための規則と表記法の体系; věda, zabývající se studiem modelů času; System for representing and reasoning about time; logica temporal; temporallogik</nowiki>