Oskar Fiuk, Emanuel Kieronski, Vincent Michielini. Two-Variable Logic for Hierarchically Partitioned and Ordered Data (Extended Abstract). In Alisa Kovtunova, Baris Sertkaya, editors, Proceedings of the 39th International Workshop on Description Logics (DL 2026) co-located with the Federated Logic Conference (FLoC 2026), Lisbon, Portugal, July 17-19, 2026. Volume 4230 of CEUR Workshop Proceedings, CEUR-WS.org, 2026. [doi]
Abstract is missing.