Matthias Hoelzel

Publication Activity (10 Years)

Years Active: 2018-2021
Publications (10 Years): 5

Top Topics

Valued Semantics

Proof Procedures

Intuitionistic Logic

Top Venues

Log. Methods Comput. Sci.

Fields of Logic and Computation III

Publications

Matthias Hoelzel, Richard Wilke
On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics. Log. Methods Comput. Sci. 17 (3) (2021)
Anuj Dawar, Erich Grädel, Matthias Hoelzel
Convergence and Nonconvergence Laws for Random Expansions of Product Structures. Fields of Logic and Computation III (2020)
Matthias Hoelzel, Richard Wilke
On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics. CSL (2020)
Matthias Hoelzel, Richard Wilke
On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics. CoRR (2019)
Erich Grädel, Matthias Hoelzel
Dependency Concepts up to Equivalence. CSL (2018)