Richard Wilke
Adresse
Mathematische Grundlagen der InformatikRWTH Aachen
D-52056 Aachen
Telefon: | +49-241-80-21722 |
Fax: | +49-241-80-22215 |
Büro: | 4114a (E1) / Ahornstr. 55 |
E-Mail: | wilke [AT] logic.rwth-aachen.de |
Sprechstunde
Wenn die Tür offen ist / nach VereinbarungForschung
- I am associated with the research training group UnRAVeL
- Logiken der Abhängigkeit und Unabhängigkeit
- Logiken mit Multiteam-Semantik
Lehre
- Mathematische Logik (SS 16, SS 17, SS 18, SS 19, SS 20)
- Mathematische Logik II (WS 20/21) (mit Matthias Naaf und Benedikt Pago)
- Quanten-Computing (SS 20)
- Logik und Spiele (WS 18/19) (mit Matthias Hoelzel und Katrin Dannert)
- Seminar
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.
- M. Hoelzel and R. Wilke. On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics. Logical Methods in Computer Science, vol. 17(3), 2021.
- E. Grädel, D. Haase, and R. Wilke. Separation Logic and Logics with Team Semantics. In Workshop on Logics of Dependence and Independence (J. Väänänen and F. Yang, Eds.), 2020.
- E. Grädel and R. Wilke. Logics with Multiteam Semantics. arXiv:2011.09834 [cs.LO], 2020.