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

• A. Dawar, E. Grädel, and W. Pakusa. Approximations of Isomorphism and Logics with Linear-Algebraic Operators. arXiv:1902.06648 [cs.LO], 2019.
• E. Grädel, M. Grohe, B. Pago, and W. Pakusa. A Finite-Model-Theoretic View on Propositional Proof Complexity. Logical Methods in Computer Science, vol. Volume 15, Issue 1, 2019.
• E. Grädel and W. Pakusa. Rank logic is dead, long live rank logic! The Journal of Symbolic Logic, vol. 84(1), 2019.
• E. Grädel and M. Hoelzel. Dependency Concepts up to Equivalence. In 27th EACSL Annual Conference on Computer Science Logic (CSL 2018) (D. Ghica and A. Jung, Eds.), vol. 119 of Leibniz International Proceedings in Informatics (LIPIcs), pp. 25:1–25:21, Dagstuhl, Germany. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, 2018.
• F. Abu Zaid, A. Dawar, E. Grädel, and W. Pakusa. Definability of Summation Problems for Abelian Groups and Semigroups. In Proceedings of 32th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017.

Alle Publikationen

Ausgewählte Vorträge

• Is Polyonomial 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