5 citations · 12 across the 8 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016
Extending Two-Variable Logic on Trees
Bartosz Bednarczyk, Witold Charatonik, Emanuel Kieroński
The finite satisfiability problem for the two-variable fragment of first-order logic interpreted over trees was recently shown to be ExpSpace-complete. We consider two extensions o…
cs.LO2016★ 5 cited
Finite Satisfiability of the Two-Variable Guarded Fragment with Transitive Guards and Related Variants
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…