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. Annals of Pure and Applied Logic, vol. 173(10), pp. 103088, 2022.
• A. Dawar, E. Grädel, and M. Lichter. Limitations of the invertible-map equivalences. Journal of Logic and Computation, 2022.
• E. Grädel, H. Helal, M. Naaf, and R. Wilke. Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics. In Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2022) (C. Baier and D. Fisman, Eds.), pp. 41:1–41:12. ACM, 2022.
• E. Grädel, H. Helal, M. Naaf, and R. Wilke. Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics. arXiv:2203.03425 [cs.LO], full version of LICS'22 paper, 2022.
• E. Grädel and R. Wilke. Logics with Multiteam Semantics. ACM Transations on Computational Logic, vol. 23(2), pp. 13:1–13:30, 2022.

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