Back to Search

Kombinierte Zeit- Und Modallogik. Vollstandigkeitsresultate Fur Pradikatenlogische Sprachen

AUTHOR Wolfl, Stefan
PUBLISHER Logos Verlag Berlin (12/30/1999)
PRODUCT TYPE Paperback (Paperback)

Description
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.
Show More
Product Format
Product Details
ISBN-13: 9783897223103
ISBN-10: 3897223104
Binding: Paperback or Softback (Trade Paperback (Us))
Content Language: German
More Product Details
Page Count: 320
Carton Quantity: 1
Country of Origin: US
Subject Information
BISAC Categories
Computers | General
Descriptions, Reviews, Etc.
publisher marketing
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.
Show More
List Price $60.00
Your Price  $59.40
Paperback