Prof. Dr. Erich Grädel
Address
Mathematische Grundlagen der InformatikRWTH Aachen
D-52056 Aachen
| Phone: | +49-241-80-21730 |
| Fax: | +49-241-80-22215 |
| Room: | 4120 (E1) / Ahornstr. 55 |
| Email: | graedel [AT] logic.rwth-aachen.de |
Research
- Algorithmic Model Theory
- Logic and Game Theory
- Logic and Algorithms
- Fixed-Point Logics
- Logics for Dependence and Independence
Activities
- Editor of Logical Methods in Computer Science (since 2004)
- Editor of Mathematical Logic Quarterly (since 2012)
- Member of the Editorial Board of the Journal of Logic and Computation (Corner Editor for Logic and Games, since 2007).
- Editor of the Journal of Symbolic Logic (2008 - 2013
- Chair of the European GAMES Research-Training Network (2002 – 2013)
- Author/Editor of five books
Recent Publications
- A. Dawar, E. Grädel, L. Kullmann, and B. Pago. Symmetric Proofs in the Ideal Proof System. arXiv:2504.16820 [cs.LO], 2025.
- S. Brinke, E. Grädel, L. Mrkonjić, and M. Naaf. Semiring Provenance in the Infinite. In The Provenance of Elegance in Computation - Essays Dedicated to Val Tannen (A. Amarilli and A. Deutsch, Eds.), vol. 119 of Open Access Series in Informatics (OASIcs), pp. 3:1–3:26, Dagstuhl, Germany. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024.
- S. Brinke, E. Grädel, and L. Mrkonjić. Ehrenfeucht-Fraïssé Games in Semiring Semantics. In 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024) (A. Murano and A. Silva, Eds.), vol. 288 of Leibniz International Proceedings in Informatics (LIPIcs), pp. 19:1–19:22, Dagstuhl, Germany. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024.
- E. Grädel, N. Lücking, and M. Naaf. Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials. Logical Methods in Computer Science, vol. 20(1), 2024.
- E. Grädel and V. Tannen. Provenance Analysis and Semiring Semantics for First-Order Logic. arXiv:2412.07986 [cs.LO], 2024.