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
- C. Bizière, E. Grädel, and M. Naaf. Locality Theorems in Semiring Semantics. arXiv:2303.12627 [cs.LO], 2023.
- 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.