Eine Dynamische Zeitlogik für das Deutsche

In diesem Beitrag soll eine dynamische Zeitlogik skizziert werden, die eine Analyse der deutschen Tempora über den Satzrahmen hinaus ermöglicht. Basis dieser Darstellung soll eine Reichenbachianische Analyse der Deutschen Tempora sein. Zunächst wird eine Sprache ADETAL angegeben (Adverbial erweiterte temporale Aussagenlogik). Für diese Sprache wird eine Semantik im Stile Reichenbachs formuliert. Diese erweist sich als adäquat zur Beschreibung einzelner Sätze. Um auch noch die temporale Struktur von Sätzen zu beschreiben, werden wir eine dynamische Perspektive entwickeln, indem wir Ideen aus der Dynamischen Prädikatenlogik von Groenendijk/Stokhof aufgreifen. Schließlich soll das System bei der Analyse eines Textausschnitts auf die Probe gestellt werden