76 citations · 82 across the 4 of their papers we have counts for
4 papers · 1 filter
Some Model Theory of Guarded Negation
Vince Barany, Michael Benedikt, Balder ten Cate
The Guarded Negation Fragment (GNFO) is a fragment of first-order logic that contains all positive existential formulas, can express the first-order translations of basic modal log…
Querying the Guarded Fragment
Vince Bárány, Georg Gottlob, Martin Otto
Evaluating a Boolean conjunctive query Q against a guarded first-order theory F is equivalent to checking whether "F and not Q" is unsatisfiable. This problem is relevant to the ar…
Finite Satisfiability for Guarded Fixpoint Logic
Vince Bárány, Mikołaj Bojańczyk
The finite satisfiability problem for guarded fixpoint logic is decidable and complete for 2ExpTime (resp. ExpTime for formulas of bounded width).
Cardinality and counting quantifiers on omega-automatic structures
Lukasz Kaiser, Sasha Rubin, Vince Bárány
We investigate structures that can be represented by omega-automata, so called omega-automatic structures, and prove that relations defined over such structures in first-order logi…