January 01, 2021 book-chapter Aachen paper

Semiring Provenance for Guarded Logics

Outstanding contributions to logic, pp. 53–79

DOI: 10.1007/978-3-030-64187-0_3 OpenAlex

Authors 2

Katrin M. Dannert corresponding Aachen Mathematische Grundlagen der Informatik

RWTH Aachen University

Affiliation as printed

Mathematische Grundlagen der Informatik, RWTH Aachen University, Aachen, Germany
Erich Grädel Aachen Mathematische Grundlagen der Informatik

RWTH Aachen University

Affiliation as printed

Mathematische Grundlagen der Informatik, RWTH Aachen University, Aachen, Germany

Cited by 10 stored of 10

A Logical View of GNN-Style Computation and the Role of Activation Functions
2026 Proceedings of the ACM on Management of Data article Computer Science Advanced Graph Neural Networks

0

citations
Provenance Analysis and Semiring Semantics for First-Order Logic
2025 Trends in mathematics book-chapter Computer Science Logic, Reasoning, and Knowledge

1

citations
Semiring Provenance for B\"uchi Games: Strategy Analysis with Absorptive Polynomials
2024 Logical Methods in Computer Science article Computer Science Formal Methods in Verification Open access

0

citations
What’s in a Neighborhood? Describing Nodes in RDF Graphs Using Shapes
2024 Lecture notes in computer science conference-paper Decision Sciences Scientific Computing and Data Management Open access

0

citations
Annolog: A Query Processing Framework for Modelling and Reasoning with Annotated Data
2023 電腦學刊 article Decision Sciences Scientific Computing and Data Management Open access

0

citations
On the Expressive Power of Message-Passing Neural Networks as Global Feature Map Transformers
2022 Lecture notes in computer science conference-paper Computer Science Advanced Graph Neural Networks Open access

7

citations
Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials
2021 Electronic Proceedings in Theoretical Computer Science article Computer Science Formal Methods in Verification Open access

4

citations
Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials
2021 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

1

citations
Provenance Analysis: A Perspective for Description Logics?
2019 Lecture notes in computer science conference-paper Decision Sciences Scientific Computing and Data Management

11

citations
Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic
2019 arXiv (Cornell University) preprint Decision Sciences Scientific Computing and Data Management Open access

2

citations

10 results

No patents citing this paper on Lens.org (checked 2026-10-06).

References 21

Modal logic
2001 book Computer Science Logic, Reasoning, and Knowledge

2,494

citations
Modal Logic
2001 Cambridge University Press eBooks book Computer Science Logic, Reasoning, and Knowledge

1,688

citations
Modal Languages and Bounded Fragments of Predicate Logic
1998 Journal of Philosophical Logic article Computer Science Logic, Reasoning, and Knowledge

606

citations
The Computational Complexity of Provability in Systems of Modal Propositional Logic
1977 SIAM Journal on Computing article Computer Science Logic, Reasoning, and Knowledge

556

citations
Bulletin of the European Association for Theoretical Computer Science
2005 book

407

citations
On the Restraining Power of Guards
1999 Journal of Symbolic Logic article Computer Science Logic, Reasoning, and Knowledge

361

citations
The complexity of tree automata and logics of programs
1988 Annual Symposium on Foundations of Computer Science conference-paper Computer Science semigroups and automata theory

297

citations
Why is modal logic so robustly decidable?
1997 DIMACS series in discrete mathematics and theoretical computer science book-chapter Computer Science Logic, Reasoning, and Knowledge

245

citations
The Complexity of Tree Automata and Logics of Programs
1999 SIAM Journal on Computing article Computer Science semigroups and automata theory

138

citations
Guarded fixed point logic
2003 conference-paper Computer Science Logic, Reasoning, and Knowledge

128

citations
Querying the Guarded Fragment
2010 Proceedings - Symposium on Logic in Computer Science conference-paper Computer Science Logic, Reasoning, and Knowledge

77

citations
Guarded Negation
2015 Journal of the ACM article Computer Science Logic, Reasoning, and Knowledge

52

citations
The Freedoms of (Guarded) Bisimulation
2014 Outstanding contributions to logic book-chapter Computer Science Logic, Reasoning, and Knowledge

48

citations
Why are Modal Logics so Robustly Decidable
1999 article Computer Science Logic, Reasoning, and Knowledge

21

citations
Compactness in Semiring Semantics
2017 arXiv (Cornell University) preprint Computer Science Advanced Database Systems and Queries Open access

16

citations
Provenance Analysis for Logic and Games
2020 RWTH Publications (RWTH Aachen) article Computer Science Logic, Reasoning, and Knowledge

13

citations
Effective Interpolation and Preservation in Guarded Logics
2015 ACM Transactions on Computational Logic article Computer Science Logic, Reasoning, and Knowledge Open access

12

citations
Complexity classes between $\Theta _k^P$ and $\Delta _k^P$
1996 RAIRO - Theoretical Informatics and Applications article Computer Science Complexity and Algorithms in Graphs Open access

3

citations
Characterizing Definability in Decidable Fixpoint Logics
2017 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Logic, Reasoning, and Knowledge Open access

1

citations
W4285719527
details pending

0

citations