Temporale Logik Logisches System zur Beschreibung zeitlicher Abläufe. Kategorie: T | Quelle: Das große KI-Lexikon von David Mirga