Search

• < Previous
• 1
• Next >

Logics with rigidly guarded data tests

The notion of orbit finite data monoid was recently introduced by Bojanczyk as an algebraic object for defining recognizable languages of data words. Following Buchi's approach, we introduce a variant of monadic second-order logic with data equality tests that captures precisely the data languages&nbsp;[&hellip;]