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 (威尼斯赌博游戏_威尼斯赌博app-【官网】 of Sheffield), Dr. Kim Solin (Uppsala 威尼斯赌博游戏_威尼斯赌博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.
