Publications

Richard Wilke

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.             
  • D. Haase, E. Grädel, and R. Wilke. Separation logic and logics with team semantics. Annals of Pure and Applied Logic, vol. 173(10), pp. 103063, 2022.             
  • R. Wilke. On the Presburger fragment of logics with multiteam semantics. Annals of Pure and Applied Logic, vol. 173(10), pp. 103120, 2022.             

2021

  • 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.             
  • R. Wilke. Reasoning about Dependence and Independence: Teams and Multiteams. PhD thesis, RWTH Aachen University, 2021.             

2020

  • 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.             
  • M. Hoelzel and R. Wilke. On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics. In 28th EACSL Annual Conference on Computer Science Logic (CSL 2020) (M. Fernández and A. Muscholl, Eds.), vol. 152 of Leibniz International Proceedings in Informatics (LIPIcs), pp. 25:1–25:16, Dagstuhl, Germany. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, 2020.             
  • R. Wilke. On the Presburger Fragment of Logics with Multiteam Semantics. In Workshop on Logics of Dependence and Independence (J. Väänänen and F. Yang, Eds.), 2020.             

2019

  • M. Hoelzel and R. Wilke. On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics. arXiv:1910.06057 [cs.LO], 2019.