Prof. Dr. Erich Grädel

Adresse
Mathematische Grundlagen der InformatikRWTH Aachen
D-52056 Aachen
Telefon: | +49-241-80-21730 |
Fax: | +49-241-80-22215 |
Büro: | 4120 (E1) / Ahornstr. 55 |
E-Mail: | graedel [AT] logic.rwth-aachen.de |
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
- 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], 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.
- 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 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 (J. Madarász and G. Székely, Eds.), Outstanding Contribution to Logic, pp. 53–79. Springer, 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.