Publications

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},
  }
  

2020

• A. Dawar, E. Grädel, and M. Hoelzel. Convergence and Nonconvergence Laws for Random Expansions of Product Structures. In Fields of Logic and Computation III (A. Blass, P. Cégielski, N. Dershowitz, M. Droste, and B. Finkbeiner, Eds.), pp. 118–132. Springer, 2020.             
  BibTeX

  @inproceedings{DGH20,
       author = {Anuj Dawar and Erich Gr{\"a}del and Matthias Hoelzel},
       editor = {Andreas Blass and Patrick C{\'e}gielski and Nachum Dershowitz and Manfred Droste and Bernd Finkbeiner},
       title = {Convergence and Nonconvergence Laws for Random Expansions of Product Structures},
       booktitle = {Fields of Logic and Computation III},
       year = {2020},
       publisher = {Springer},
       pages = {118--132},
       url = {http://www.logic.rwth-aachen.de/pub/DawarGraedelHoelzel.pdf},
       isbn = {978-3-030-48006-6},
       doi = {10.1007/978-3-030-48006-6_9},
  }
  

• 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},
  }
  

2019

• M. Hoelzel. Fragments of Existential Second-Order Logic and Logics with Team Semantics. PhD thesis, RWTH Aachen University, 2019.             
  BibTeX

  @phdthesis{HoelzelThesis,
       author = {Matthias Hoelzel},
       othercontributors = {Gr{\"{a}}del, Erich and Hella, Lauri},
       title = {{Fragments of Existential Second-Order Logic and Logics with Team Semantics}},
       school = {RWTH Aachen University},
       type = {{PhD thesis}},
       address = {Aachen},
       reportid = {RWTH-2020-05121},
       year = {2019},
       note = {Published on the RWTH Aachen publication server, 2020},
       cin = {117220 / 110000},
       ddc = {510},
       cid = {$I:(DE-82)117220_20140620$ / $I:(DE-82)110000_20140620$},
       typ = {PUB:(DE-HGF)11},
       doi = {10.18154/RWTH-2020-05121},
       url = {https://publications.rwth-aachen.de/record/789282},
  }
  

• 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]},
  }
  

2018

• E. Grädel and M. Hoelzel. Dependency Concepts up to Equivalence. In 27th EACSL Annual Conference on Computer Science Logic (CSL 2018) (D. Ghica and A. Jung, Eds.), vol. 119 of Leibniz International Proceedings in Informatics (LIPIcs), pp. 25:1–25:21, Dagstuhl, Germany. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, 2018.             
  BibTeX

  @inproceedings{grdel_et_al:LIPIcs:2018:9692,
       author = {Erich Gr{\"a}del and Matthias Hoelzel},
       title = {{Dependency Concepts up to Equivalence}},
       booktitle = {27th EACSL Annual Conference on Computer Science Logic (CSL 2018)},
       pages = {25:1--25:21},
       series = {Leibniz International Proceedings in Informatics (LIPIcs)},
       isbn = {978-3-95977-088-0},
       issn = {1868-8969},
       year = {2018},
       volume = {119},
       editor = {Dan Ghica and Achim Jung},
       publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
       address = {Dagstuhl, Germany},
       url = {http://drops.dagstuhl.de/opus/volltexte/2018/9692},
       urn = {urn:nbn:de:0030-drops-96921},
       doi = {10.4230/LIPIcs.CSL.2018.25},
       annote = {Keywords: Logics of dependence and independence, Team semantics, Existential second-order logic, Observational equivalence, Expressive power},
  }