On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics. - Matthias Hoelzel; Richard Wilke (Log. Methods Comput. Sci., 2021)

Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics. - Erich Grädel; Hayyan Helal; Matthias Naaf; Richard Wilke (LICS, 2022)

Separation logic and logics with team semantics. - Darion Haase; Erich Grädel; Richard Wilke (Ann. Pure Appl. Log., 2022)

On the Presburger fragment of logics with multiteam semantics. - Richard Wilke (Ann. Pure Appl. Log., 2022)

Logics with Multiteam Semantics. - Erich Grädel; Richard Wilke (ACM Trans. Comput. Log., 2022)

Reasoning about dependence and independence: teams and multiteams. - Richard Wilke (2022)