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.
