Temporale Logik
Sign in to savesystem for representing and reasoning about time
Wikidata facts
- Subclass of
- mathematical logic
Show 3 more facts
- topic's main category
- Category:Temporal logic
- Commons category
- Temporal logic
- Stack Exchange tag
- cs.stackexchange.com/tags/temporal-logic
Sources (2)
via Wikidata · CC0
Article · Deutsch
Temporale Logiken oder Zeitlogiken sind Erweiterungen der Logik, durch die zeitliche Abläufe erfasst werden können. Es handelt sich um Anwendungen der Modallogik, die auf einer Vorher-Nachher-Beziehung zwischen Zeitpunkten basieren. Ob daraus eine dichte oder diskrete Zeitordnung entsteht, ist von der Bestimmung dieser Relation abhängig.
Abstract from DBpedia / Wikipedia · CC BY-SA