Category:Temporal logic

From Wikimedia Commons, the free media repository
Jump to navigation Jump to search
temporal logic 
methods for reasoning about propositions involving time
Upload media
Wikipedia-logo-v2.svg  Wikipedia
Subclass ofmathematical logic
Authority control
Blue pencil.svg
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) methods for reasoning about propositions involving time (en) logica temporal (es)

Subcategories

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

A

L

Media in category "Temporal logic"

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