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)
Die Vorträge können wahlweise auf Deutsch oder Englisch gehalten werden.

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:30Christine MendezIndependence Friendly Logic
9:30–10:00Jan RogalskiDependence Logic and Existential Second Order Logic
10:30–11:00Jonas AberleOther Logics: Exclusion Logic, Inclusion Logic and beyond
11:00–11:30Lukas HuwaldIndependence Logic
Freitag, 12. Februar
8:45–9:15Christoph MüllerModel Checking Games
9:15–9:45Christopher SpinrathInclusion Logic and GFP
10:15–11:00Stefan HegselmannCounting in Team Semantics
11:00–11:30Jan BierbomsStrongly First-Order Dependencies
14:00–14:30Matthias VoitModal Dependence Logics
14:30–15:00Timo SimnacherInterpolation and Negation

Topics

ThemaVortragende(r)Betreuer(in)Literatur
Independence Friendly LogicChristine MendezFrederic Reinhardt[]
Dependence Logic and Existential Second Order LogicJan RogalskiWied Pakusa[]
Independence LogicLukas HuwaldWied Pakusa[]
Other Logics: Exclusion Logic, Inclusion Logic and beyondJonas AberleWied Pakusa[]
Model Checking GamesChristoph MüllerSvenja Schalthöfer[Gr12]
Inclusion Logic and GFPChristopher SpinrathSvenja Schalthöfer[Gr15]
Interpolation and NegationTimo SimnacherFrederic Reinhardt[]
Modal Dependence LogicsMatthias VoitMatthias Hoelzel[HLSV14]
Counting in Team SemanticsStefan HegselmannErich Grädel[]
Strongly First-Order DependenciesJan BierbomsMatthias 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