AlMoTh 2022
law that a first-order sentence is, asymptotically, either almost surely evaluated to 0 by random semiring interpretations, or almost surely takes only values different from 0. However, by means of a more [...] Universität-Süd Bus: Universität-Süd Monday 21.3. 13:45 - 14:15 Erich Grädel: Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics 14:15 - 14:45 Matthias Naaf: Fixed-Point Logic [...] joint work with Martin Grohe and Gaurav Rattan. Erich Grädel Erich Grädel Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics Semiring semantics evaluates logical statements