Two-variable logic revisited. - Yanger Ma; Tony Tan (CoRR, 2019)

A simple combinatorial proof for the small model property of two-variable logic. - Yanger Ma; Tony Tan (Inf. Process. Lett., 2021)