Erich Grädel

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

2022

Semiring semantics evaluates logical statements by values in some commutative semiring (K, +, ·, 0, 1). Random semiring interpretations, induced by a probability distribution on K, generalise random structures, and we investigate here the question …