Modallogik
(https://www.coli.uni-saarland.de/~saurer/modallogik-ws97.html)
Vorlesung
Zweiter Studienabschnitt
Leitung: Patrick Blackburn
Ort: Seminarraum, Geb 17.3
Zeit: Freitag 11.00--13.00
Beginn: 24. 10. 1997
Literatur: ``A Course in Modal Logic'',
Patrick Blackburn, Maarten de Rijke und Yde Venema.
Die Vorlesung ist eine Einfuehrung in die Modallogik unter
Beruecksichtigung aktueller Fragestellungen. Wichtige Themen sind:
Bisimulationen, Theorie von Relationalstrukturen (frames),
Komplexitaetstheorie, algebraische Interpretation und erweiterte
Modallogik. Keine Vorkenntnisse ueber Modallogik werden verlangt,
jedoch setzen wir Grundkenntnisse in der Logik erster Stufe und
Berechnungstheorie voraus.
Weitere Information: Patrick Blackburn (Geb. 17.2, Zi.2.10,
patrick@coli.uni-sb.de)