Richard Wilke - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 7 from 7

2022

Logics with Multiteam SemanticsErich Grädel, Richard Wilke. tocl, 23(2), 2022. [doi]

Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring SemanticsErich Grädel, Hayyan Helal, Matthias Naaf, Richard Wilke. lics 2022: [doi]

Separation logic and logics with team semanticsDarion Haase, Erich Grädel, Richard Wilke. APAL, 173(10):103063, 2022. [doi]

Reasoning about dependence and independence: teams and multiteamsRichard Wilke. PhD thesis, RWTH Aachen University, Germany, 2022. [doi]

On the Presburger fragment of logics with multiteam semanticsRichard Wilke. APAL, 173(10):103120, 2022. [doi]

2021

On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team SemanticsMatthias Hoelzel, Richard Wilke. lmcs, 17(3), 2021. [doi]

2020

On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team SemanticsMatthias Hoelzel, Richard Wilke. csl 2020: [doi]

Sign in or sign up to see more results.

runs on WebDSL