most citedControlling the Depth, Size, and Number of Subtrees for Two-variable Logic on Trees

4 citations · 4 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2013★ 4 cited

Controlling the Depth, Size, and Number of Subtrees for Two-variable Logic on Trees

Saguy Benaim, Michael Benedikt, Rastislav Lenhardt +1

Verification of properties of first order logic with two variables FO2 has been investigated in a number of contexts. Over arbitrary structures it is known to be decidable with NEX…