3 papers
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…
cs.LO2020
Logics with Multiteam Semantics
Erich Grädel, Richard Wilke
Team semantics is the mathematical basis of modern logics of dependence and independence. In contrast to classical Tarski semantics, a formula is evaluated not for a single assignm…
cs.LO2019
On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics
Matthias Hoelzel, Richard Wilke
We present syntactic characterisations for the union closed fragments of existential second-order logic and of logics with team semantics. Since union closure is a semantical and u…