activity
20192022
most citedOn the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics

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

collaborators
Showing 2022 · cs.LOShow all

1 paper · 2 filters

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…