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.
