5 citations · 8 across the 5 of their papers we have counts for
1 paper · 1 filter
Emanuel Kieronski, Lidia Tendera
We consider extensions of the two-variable guarded fragment, GF2, where distinguished binary predicates that occur only in guards are required to be interpreted in a special way (a…