activity
20192023
most citedSemiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials

4 citations · 4 across the 2 of their papers we have counts for

collaborators
Showing 2022Show all

1 paper · 1 filter

cs.LO2022

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

Erich Grädel, Hayyan Helal, Matthias Naaf +1

Semiring semantics evaluates logical statements by values in some commutative semiring K. Random semiring interpretations, induced by a probability distribution on K, generalise ra…