Projektstart: 01.01.1997

Projektträger: Universität Augsburg

Projektverantwortung vor Ort: Prof. Dr. Bernhard Möller

Beteiligte WissenschaftlerInnen der Universität Augsburg: Dr. Peter Höfner, Han-Hing Dang

Beteiligte WissenschaftlerInnen / Kooperationen: Dr. Georg Struth (University of Sheffield), Dr. Kim Solin (Uppsala University) und andere

Zusammenfassung

Mittels der Diamant- und Box-Operatoren von Bereichshalbringen lässt sich eine vollständig algebraische Darstellung modaler Logik geben, insbesondere von Korrespondenzen wie der Geach- und Löb-Formel, die Konfluenz bzw. Induktion ausdrücken. Als Spezialfälle ergeben sich verschiedene temporale Logiken, sowie Wissens- und Glaubenslogiken.