temporal logic (Q781833)
Jump to navigation
Jump to search
System for representing and reasoning about time
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | temporal logic |
System for representing and reasoning about time |
Statements
Temporal logic
0 references
Identifiers
1 reference
Sitelinks
Wikipedia(21 entries)
- cawiki Lògica temporal
- cswiki Temporální logika
- dewiki Temporale Logik
- elwiki Χρονική λογική
- enwiki Temporal logic
- eowiki Tempa logiko
- eswiki Lógica temporal
- fawiki منطق زمانی
- fiwiki Temporaalilogiikka
- frwiki Logique temporelle
- hewiki לוגיקת זמן
- jawiki 時相論理
- kowiki 시간 논리
- nlwiki Tijdslogica
- plwiki Logika temporalna
- ptwiki Lógica temporal
- ruwiki Темпоральная логика
- skwiki Temporálna logika
- trwiki Zamansal mantık
- ukwiki Темпоральна логіка
- zhwiki 时间逻辑