Kombinierte Zeit- Und Modallogik. Vollstandigkeitsresultate Fur Pradikatenlogische Sprachen

Zeitlogiken thematisieren "nicht-ewige " Satze, d.h. Satze, deren Wahrheitswert sich in der Zeit verandern kann. Modallogiken (im engeren Sinne des Wortes) zielen auf eine Logik alethischer Modalbegriffe ab. Kombinierte Zeit- und Modallogiken verknupfen nun Zeit- mit Modallogik, in ihnen geht es also um eine Analyse und logische Theorie zeitabhangiger Modalaussagen. Kombinierte Zeit- und Modallogiken stellen eine ausgezeichnete Basistheorie fur Konditionallogiken, Handlungs- und Bewirkenstheorien sowie Kausalanalysen dar. Hinsichtlich dieser Anwendungsgebiete sind vor allem pr"dikatenlogische Sprachen aufgrund ihrer Ausdrucksstarke von Interesse. Die vorliegende Arbeit entwickelt die kombinierte Zeit- und Modallogik fur pradikatenlogische Sprachen und erortert die solchen logischen Systemen eigentumlichen Problemstellungen. Dazu werden im ersten Teil ganz allgemein multimodale Logiken fur pradikatenlogische Sprachen diskutiert, im zweiten dann Kalkule der kombinierten Zeit- und Modallogik vorgestellt und deren semantische Vollstandigkeit bewiesen. Das Buch richtet sich an Leser, die mit den Methoden der Modal- und Zeitlogik bereits etwas vertraut sind. Der Autor, Stefan Wolfl, erhielt fur diese Arbeit den von der Gesellschaft fur Analytische Philosophie e.V. (GAP) vergebenen Wolfgang-Stegmuller-Preis als einer von vier Preistragern im Jahr 2000.