research
∙
08/09/2023
Ehrenfeucht-Fraïssé Games in Semiring Semantics
Ehrenfeucht-Fraïssé games provide a fundamental method for proving eleme...
share
research
∙
03/22/2023
Locality Theorems in Semiring Semantics
Semiring semantics of first-order logic generalises classical Boolean se...
research
∙
03/07/2022
Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics
Semiring semantics evaluates logical statements by values in some commut...
research
∙
09/15/2021
Limitations of the Invertible-Map Equivalences
This note draws conclusions that arise by combining two recent papers, b...
research
∙
06/24/2021
Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials
This paper presents a case study for the application of semiring semanti...
research
∙
02/22/2021
Unifying Hidden-Variable Problems from Quantum Mechanics by Logics of Dependence and Independence
We study hidden-variable models from quantum mechanics, and their abstra...
research
∙
02/20/2021
Logics of Dependence and Independence: The Local Variants
Modern logics of dependence and independence are based on team semantics...
research
∙
02/10/2021
Elementary equivalence versus isomorphism in semiring semantics
We study the first-order axiomatisability of finite semiring interpretat...
research
∙
11/19/2020
Logics with Multiteam Semantics
Team semantics is the mathematical basis of modern logics of dependence ...
research
∙
10/17/2019
Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic
Semiring provenance is a successful approach to provide detailed informa...
research
∙
07/19/2019
Provenance Analysis for Logic and Games
A model checking computation checks whether a given logical sentence is ...
research
∙
02/18/2019
Approximations of Isomorphism and Logics with Linear-Algebraic Operators
Invertible map equivalences are approximations of graph isomorphism that...
research
∙
02/26/2018
A Finite-Model-Theoretic View on Propositional Proof Complexity
We establish new, and surprisingly tight, connections between propositio...
research
∙
12/06/2017