76 citations · 82 across the 4 of their papers we have counts for
1 paper · 1 filter
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…