Search Results - "Grädel, Erich"

Semiring Provenance for B\"uchi Games: Strategy Analysis with Absorptive Polynomials by Grädel, Erich, Lücking, Niels, Naaf, Matthias

“…This paper presents a case study for the application of semiring semantics for fixed-point formulae to the analysis of strategies in B\"uchi games. Semiring…”
Get full text

A Finite-Model-Theoretic View on Propositional Proof Complexity by Erich Grädel, Martin Grohe, Benedikt Pago, Wied Pakusa

“…We establish new, and surprisingly tight, connections between propositional proof complexity and finite model theory. Specifically, we show that the power of…”
Get full text

Entanglement and the complexity of directed graphs by Berwanger, Dietmar, Grädel, Erich, Kaiser, Łukasz, Rabinovich, Roman

“…Entanglement is a parameter for the complexity of finite directed graphs that measures to what extent the cycles of the graph are intertwined. It is defined by…”
Get full text

Model-checking games for logics of imperfect information by Grädel, Erich

“…Logics of dependence and independence have semantics that, unlike Tarski semantics, are not based on single assignments (mapping variables to elements of a…”
Get full text

On the Decision Problem for Two-Variable First-Order Logic by Grädel, Erich, Kolaitis, Phokion G., Vardi, Moshe Y.

“…We identify the computational complexity of the satisfiability problem for FO2, the fragment of first-order logic consisting of all relational first-order…”
Get full text

Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence by Albert, Rafael, Grädel, Erich

“…We study hidden-variable models from quantum mechanics and their abstractions in purely probabilistic and relational frameworks by means of logics of…”
Get full text

Limitations of the invertible-map equivalences by Dawar, Anuj, Grädel, Erich, Lichter, Moritz

“…Abstract This note draws conclusions that arise by combining two recent papers, by Anuj Dawar, Erich Grädel and Wied Pakusa, published at ICALP 2019, and by…”
Get full text

Dependence and Independence by Grädel, Erich, Väänänen, Jouko

“…We introduce an atomic formula $\overrightarrow{\mathrm{y}}{\perp }_{\overrightarrow{\mathrm{x}}}\overrightarrow{\mathrm{z}}$ intuitively saying that the…”
Get full text

RANK LOGIC IS DEAD, LONG LIVE RANK LOGIC by GRÄDEL, ERICH, PAKUSA, WIED

“…Motivated by the search for a logic for polynomial time, we study rank logic (FPR) which extends fixed-point logic with counting (FPC) by operators that…”
Get full text

On the Restraining Power of Guards by Gradel, Erich

“…Guarded fragments of first-order logic were recently introduced by Andreka, van Benthem and Nemeti; they consist of relational first-order formulae whose…”
Get full text

Separation logic and logics with team semantics by Haase, Darion, Grädel, Erich, Wilke, Richard

“…Separation logic is a successful logical system for formal reasoning about programs that mutate their data structures. Team semantics, on the other side, is…”
Get full text

Logics of dependence and independence: The local variants by Grädel, Erich, Pützstück, Phil

“…Abstract Modern logics of dependence and independence are based on team semantics, which means that formulae are evaluated not on a single assignment of values…”
Get full text

Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials by Grädel, Erich, Lücking, Niels, Naaf, Matthias

Get full text

Definability of linear equation systems over groups and rings by Dawar, Anuj, Kopczynski, Eryk, Holm, Bjarki, Grädel, Erich, Pakusa, Wied

“…Motivated by the quest for a logic for PTIME and recent insights that the descriptive complexity of problems from linear algebra is a crucial aspect of this…”
Get full text

Model Checking Games for the Quantitative μ-Calculus by Fischer, Diana, Grädel, Erich, Kaiser, Łukasz

“…We investigate quantitative extensions of modal logic and the modal μ -calculus, and study the question whether the tight connection between logic and games…”
Get full text

The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs by Canavoi, Felix, Grädel, Erich, Rabinovich, Roman

“…For some time the discrete strategy improvement algorithm due to Jurdzinski and Voge had been considered as a candidate for solving parity games in polynomial…”
Get full text

Dependence, Independence, and Imperfect Information: Invited Presentation at the Second International Symposium on Games, Automata, Logics and Formal Verification by Grädel, Erich

Get full text

The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs by Canavoi, Felix, Grädel, Erich, Rabinovich, Roman

“…The problem whether winning regions and wining strategies for parity games can be computed in polynomial time is a major open problem in the field of infinite…”
Get full text

Guarded fixed point logics and the monadic theory of countable trees by Gradel, Erich

“…Different variants of guarded logics (a powerful generalization of modal logics) are surveyed and an elementary proof for the decidability of guarded fixed…”
Get full text

Model-Theoretic Properties of [omega]-Automatic Structures by Zaid, Faried Abu, Grädel, Erich, Kaiser, Ukasz, Pakusa, Wied

“…Issue Title: Theoretical Aspects of Computer Science We investigate structural properties of [omega]-automatic presentations of infinite structures in order to…”
Get full text