Prof. Dr. Erich Grädel

Adresse

Forschung

• Algorithmic Model Theory
• Logic and Game Theory
• Logic and Algorithms
• Fixed-Point Logics
• Logics for Dependence and Independence

Tätigkeiten

• Mitherausgeber des Journals Logical Methods in Computer Science (seit 2004)
• Herausgeber des Journals Mathematical Logic Quarterly (seit 2012)
• Mitglied des Editorial Board des Journal of Logic and Computation (Corner Editor für Logic and Games, seit 2007).
• Herausgeber des Journal of Symbolic Logic (2008 - 2013)
• Chair des europäischen GAMES-Netzwerks (2002 – 2013)
• Autor und Herausgeber von fünf Büchern

Aktuelle Publikationen

• R. Albert and E. Grädel. Unifying Hidden-Variable Problems from Quantum Mechanics by Logics of Dependence and Independence. arXiv:2102.10931 [cs.LO], 2021.
• K. M. Dannert, E. Grädel, M. Naaf, and V. Tannen. Semiring Provenance for Fixed-Point Logic. In 29th EACSL Annual Conference on Computer Science Logic (CSL 2021) (C. Baier and J. Goubault-Larrecq, Eds.), vol. 183 of Leibniz International Proceedings in Informatics (LIPIcs), pp. 17:1–17:22, Dagstuhl, Germany. Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2021.
• E. Grädel and L. Mrkonjić. Elementary equivalence versus isomorphism in semiring semantics. arXiv:2102.05473 [math.LO], 2021.
• E. Grädel and P. Pützstück. Logics of Dependence and Independence: The Local Variants. arXiv:2102.10368 [cs.LO], 2021.
• K. M. Dannert and E. Grädel. Semiring Provenance for Guarded Logics. In Hajnal Andréka and István Németi on Unity of Science: From Computing to Relativity Theory through Algebraic Logic (to appear), Outstanding Contribution to Logic. Springer, 2020.

Alle Publikationen

Ausgewählte Vorträge

• Is Polynomial Time Choiceless
  
• Dependence and Independence in Logic.
  Tutorial at Logic Colloquium 2015.
• Finite presentations of infinite structures: automata and interpretations.
  
• Decidable fragments of first-order and fixed-point logic.
  
• Banach-Mazur Games on Graphs