Zeitlogik
Als Zeitlogik bezeichnet man jenen Zweig der
Logik, der Kalküle
studiert, in denen Phänomene der Zeit
berücksichtigt werden können. So werden Termini wie
früher, später, gleichzeitig untersucht.
Ein Beispiel ist die Zeitlogik von Prior.
Seit den 1950er Jahren wurden von zahlreichen Kalkülen zunächst syntaktische
Zeitkalküle entwickelt. Später folgte auch die Untersuchung geeigneter
Semantiken.
Die Zeitlogik spielt insbesondere in den Computerwissenschaften eine große Rolle.
|
Begriffe
Andere Lexika
Spiele
PhilSearch.de
Shops