Richard Wilke

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 9

Top Topics

Proof Theoretic

Top Venues

Ann. Pure Appl. Log.

ACM Trans. Comput. Log.

Publications

Erich Grädel, Hayyan Helal, Matthias Naaf, Richard Wilke
Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics. LICS (2022)
Darion Haase, Erich Grädel, Richard Wilke
Separation logic and logics with team semantics. Ann. Pure Appl. Log. 173 (10) (2022)
Richard Wilke
On the Presburger fragment of logics with multiteam semantics. Ann. Pure Appl. Log. 173 (10) (2022)
Erich Grädel, Hayyan Helal, Matthias Naaf, Richard Wilke
Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics. CoRR (2022)
Erich Grädel, Richard Wilke
Logics with Multiteam Semantics. ACM Trans. Comput. Log. 23 (2) (2022)
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)
Erich Grädel, Richard Wilke
Logics with Multiteam Semantics. CoRR (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)