Category:Temporal logic

From Wikimedia Commons, the free media repository
Jump to navigation Jump to search
logica temporale (it); logique temporelle (fr); Темпоральная логика (ru); Temporale Logik (de); lógica temporal (pt); 时间逻辑 (zh); Zamansal mantık (tr); 時相論理 (ja); Temporálna logika (sk); Logika temporalna (pl); Темпоральна логіка (uk); Tijdslogica (nl); Χρονική λογική (el); Temporaalilogiikka (fi); lògica temporal (ca); 시간 논리 (ko); temporal logic (en); lógica temporal (es); Temporální logika (cs); לוגיקת זמן (he) System for representing and reasoning about time (en); 時間との関連で問題を理解し表現するための規則と表記法の体系 (ja) logica temporal (es)
temporal logic 
System for representing and reasoning about time
Upload media
Wikipedia-logo-v2.svg  Wikipedia
Subclass ofmathematical logic
Authority control
Edit infobox data on Wikidata


This category has the following 2 subcategories, out of 2 total.



Media in category "Temporal logic"

The following 3 files are in this category, out of 3 total.