Two-Variable Logic for Hierarchically Partitioned and Ordered Data

Oskar Fiuk, Emanuel Kieronski, Vincent Michielini

We study Two-Variable First-Order Logic, FO2, under semantic constraints that model hierarchically structured data. Our first logic extends FO2 with a linear order < and a chain of…