Publications

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.             
  BibTeX

  @inproceedings{GHNW22b,
       author = {Erich Gr{\"a}del and Hayyan Helal and Matthias Naaf and Richard Wilke},
       editor = {Christel Baier and Dana Fisman},
       title = {Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics},
       booktitle = {Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2022)},
       pages = {41:1--41:12},
       publisher = {{ACM}},
       year = {2022},
       doi = {10.1145/3531130.3533358},
       url = {https://doi.org/10.1145/3531130.3533358},
  }
  

• 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.             
  BibTeX

  @misc{GHNW22,
       title = {Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics},
       author = {Erich Gr{\"a}del and Hayyan Helal and Matthias Naaf and Richard Wilke},
       year = {2022},
       howpublished = {arXiv:2203.03425 [cs.LO], full version of LICS'22 paper},
       url = {http://arxiv.org/abs/2203.03425},
  }
  

• E. Grädel and R. Wilke. Logics with Multiteam Semantics. ACM Transations on Computational Logic, vol. 23(2), pp. 13:1–13:30, 2022.             
  BibTeX

  @article{GW22,
       author = {Erich Gr{\"a}del and Richard Wilke},
       title = {Logics with Multiteam Semantics},
       journal = {{ACM} Transations on Computational Logic},
       volume = {23},
       number = {2},
       pages = {13:1--13:30},
       year = {2022},
       url = {https://doi.org/10.1145/3487579},
       doi = {10.1145/3487579},
  }
  

• 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.             
  BibTeX

  @article{GHW22,
       title = {Separation logic and logics with team semantics},
       journal = {Annals of Pure and Applied Logic},
       author = {Darion Haase and Erich Gr{\"a}del and Richard Wilke},
       volume = {173},
       number = {10},
       pages = {103063},
       year = {2022},
       note = {Logics of Dependence and Independence},
       issn = {0168-0072},
       doi = {10.1016/j.apal.2021.103063},
       url = {https://www.sciencedirect.com/science/article/pii/S0168007221001214},
  }
  

• R. Wilke. On the Presburger fragment of logics with multiteam semantics. Annals of Pure and Applied Logic, vol. 173(10), pp. 103120, 2022.             
  BibTeX

  @article{Wilke22,
       author = {Richard Wilke},
       title = {On the Presburger fragment of logics with multiteam semantics},
       journal = {Annals of Pure and Applied Logic},
       volume = {173},
       number = {10},
       pages = {103120},
       year = {2022},
       note = {Logics of Dependence and Independence},
       issn = {0168-0072},
       doi = {10.1016/j.apal.2022.103120},
       url = {https://www.sciencedirect.com/science/article/pii/S0168007222000355},
  }
  

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.             
  BibTeX

  @article{HW21,
       title = {{On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics}},
       author = {Matthias Hoelzel and Richard Wilke},
       url = {https://lmcs.episciences.org/8324},
       doi = {10.46298/lmcs-17(3:14)2021},
       journal = {{Logical Methods in Computer Science}},
       volume = {17},
       number = {3},
       year = {2021},
       month = {Jul},
  }
  

• R. Wilke. Reasoning about Dependence and Independence: Teams and Multiteams. PhD thesis, RWTH Aachen University, 2021.             
  BibTeX

  @phdthesis{RW21,
       author = {Richard Wilke},
       title = {{Reasoning about Dependence and Independence: Teams and Multiteams}},
       school = {{RWTH Aachen University}},
       year = {2021},
       url = {http://publications.rwth-aachen.de/record/842872},
  }
  

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.             
  BibTeX

  @inproceedings{GHW20,
       author = {Erich Gr{\"a}del and Darion Haase and Richard Wilke},
       title = {{Separation Logic and Logics with Team Semantics}},
       year = {2020},
       editor = {J.~V{\"a}{\"a}n{\"a}nen and F.~Yang},
       booktitle = {Workshop on Logics of Dependence and Independence},
       url = {http://www.logic.rwth-aachen.de/pub/wilke/GHW20.pdf},
  }
  

• E. Grädel and R. Wilke. Logics with Multiteam Semantics. arXiv:2011.09834 [cs.LO], 2020.             
  BibTeX

  @misc{GW20,
       title = {Logics with Multiteam Semantics},
       author = {Erich Gr{\"a}del and Richard Wilke},
       year = {2020},
       howpublished = {arXiv:2011.09834 [cs.LO]},
       url = {https://arxiv.org/abs/2011.09834},
  }
  

• 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.             
  BibTeX

  @inproceedings{HW20,
       author = {Matthias Hoelzel and Richard Wilke},
       title = {{On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics}},
       booktitle = {28th EACSL Annual Conference on Computer Science Logic (CSL 2020)},
       pages = {25:1--25:16},
       series = {Leibniz International Proceedings in Informatics (LIPIcs)},
       isbn = {978-3-95977-132-0},
       issn = {1868-8969},
       year = {2020},
       volume = {152},
       editor = {Maribel Fern{\'a}ndez and Anca Muscholl},
       publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
       address = {Dagstuhl, Germany},
       url = {https://drops.dagstuhl.de/opus/volltexte/2020/11668},
       urn = {urn:nbn:de:0030-drops-116681},
       doi = {10.4230/LIPIcs.CSL.2020.25},
       annote = {Keywords: Higher order logic, Existential second-order logic, Team semantics, Closure properties, Union closure, Model-checking games, Syntactic charactisation},
  }
  

• 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.             
  BibTeX

  @inproceedings{Wilke20,
       author = {Richard Wilke},
       title = {{On the Presburger Fragment of Logics with Multiteam Semantics}},
       year = {2020},
       editor = {J.~V{\"a}{\"a}n{\"a}nen and F.~Yang},
       booktitle = {Workshop on Logics of Dependence and Independence},
       url = {http://www.logic.rwth-aachen.de/pub/wilke/presburger.pdf},
  }
  

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.             
  BibTeX

  @misc{MH2019,
       author = {Matthias {Hoelzel} and Richard {Wilke}},
       title = {{On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics}},
       year = {2019},
       month = {Oct},
       url = {https://arxiv.org/abs/1910.06057},
       howpublished = {arXiv:1910.06057 [cs.LO]},
  }