Seminar Logic, Complexity, Games: Logics of Dependence and Independence
WS 2015
News
Die Vorträge finden statt am:
- Donnerstag, 11. Februar, im Seminarraum des Lehrstuhls (Raum 4116, E1, Ahornstr. 55)
- Freitag, 12. Februar, im Seminarraum 9U09 (E3, Ahornstr. 55)
Deadlines
| 16.11. | Gliederung |
| 14.12. | 1. Version Ausarbeitung |
| 11.01. | finale Version Ausarbeitung |
| 20.01. | Folien |
| 11.02. und 12.02. | Vorträge |
Schedule
| Donnerstag, 11. Februar | ||||
| 9:00 | – | 9:30 | Christine Mendez | Independence Friendly Logic |
| 9:30 | – | 10:00 | Jan Rogalski | Dependence Logic and Existential Second Order Logic |
| 10:30 | – | 11:00 | Jonas Aberle | Other Logics: Exclusion Logic, Inclusion Logic and beyond |
| 11:00 | – | 11:30 | Lukas Huwald | Independence Logic |
| Freitag, 12. Februar | ||||
| 8:45 | – | 9:15 | Christoph Müller | Model Checking Games |
| 9:15 | – | 9:45 | Christopher Spinrath | Inclusion Logic and GFP |
| 10:15 | – | 11:00 | Stefan Hegselmann | Counting in Team Semantics |
| 11:00 | – | 11:30 | Jan Bierboms | Strongly First-Order Dependencies |
| 14:00 | – | 14:30 | Matthias Voit | Modal Dependence Logics |
| 14:30 | – | 15:00 | Timo Simnacher | Interpolation and Negation |
Topics
| Thema | Vortragende(r) | Betreuer(in) | Literatur |
| Independence Friendly Logic | Christine Mendez | Frederic Reinhardt | [] |
| Dependence Logic and Existential Second Order Logic | Jan Rogalski | Wied Pakusa | [] |
| Independence Logic | Lukas Huwald | Wied Pakusa | [] |
| Other Logics: Exclusion Logic, Inclusion Logic and beyond | Jonas Aberle | Wied Pakusa | [] |
| Model Checking Games | Christoph Müller | Svenja Schalthöfer | [Gr12] |
| Inclusion Logic and GFP | Christopher Spinrath | Svenja Schalthöfer | [Gr15] |
| Interpolation and Negation | Timo Simnacher | Frederic Reinhardt | [] |
| Modal Dependence Logics | Matthias Voit | Matthias Hoelzel | [HLSV14] |
| Counting in Team Semantics | Stefan Hegselmann | Erich Grädel | [] |
| Strongly First-Order Dependencies | Jan Bierboms | Matthias Hoelzel | [Ga14] |
Literature
| [Ga14] | P. Galliani. On Strongly First-Order Dependencies. CoRR, vol. abs/1403.3698, 2014. |
| [Gr12] | E. Grädel. Model-Checking Games for Logics of Incomplete Information. Theoretical Computer Science, Special Issue dedicated to GandALF 2011, pp. 2–14, 2013. |
| [Gr15] | E. Grädel. Games for Inclusion Logic and Fixed-Point Logic, 2015. |
| [HLSV14] | L. Hella, K. Luosto, K. Sano, and J. Virtema. The Expressive Power of Modal Dependence Logic. CoRR, vol. abs/1406.6266, 2014. |
Classification
- Informatik (B.Sc.)/Seminar Informatik
- Mathematik (B.Sc.)/Seminar: Logik, Komplexität, Spiele
- Informatik (M.Sc.)/Seminar Theoretische Informatik
- Mathematik (M.Sc.)/Seminar: Logik, Komplexität, Spiele (Reine Mathematik)
- Informatik (S II)
- Mathematik (S II)/Hauptstudium/Modul Algebra
- Mathematik (S II)/Hauptstudium/Modul Angewandte Mathematik
Prerequisites
- Module Mathematical Logic
- for B.Sc. Computer Science: Module "Einführung in das wissenschaftliche Arbeiten (Proseminar)"
Contact
Erich Grädel, Svenja Schalthöfer, Matthias Hoelzel, Frederic Reinhardt, Wied Pakusa