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 (伟德国际_伟德国际1946$娱乐app游戏 of Sheffield), Dr. Kim Solin (Uppsala 伟德国际_伟德国际1946$娱乐app游戏) 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.
