Richard Wilke

According to our database, Richard Wilke authored at least 6 papers between 2021 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

Reasoning about dependence and independence: teams and multiteams.

Richard Wilke

PhD thesis, 2022

Logics with Multiteam Semantics.

Erich Grädel, Richard Wilke

ACM Trans. Comput. Log., 2022

On the Presburger fragment of logics with multiteam semantics.

Richard Wilke

Ann. Pure Appl. Log., 2022

Separation logic and logics with team semantics.

Darion Haase, Erich Grädel, Richard Wilke

Ann. Pure Appl. Log., 2022

Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics.

Erich Grädel, Hayyan Helal, Matthias Naaf, Richard Wilke

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

2021

On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics.

Matthias Hoelzel, Richard Wilke

Log. Methods Comput. Sci., 2021