On two-variable first-order logic with a partial order

Dariusz Marzec, Lidia Tendera. On two-variable first-order logic with a partial order. Journal of Logic and Computation, 36(2), 2026. [doi]

Abstract

Abstract is missing.