Ma YTONY TAN2021-09-022021-09-02202100200190https://www.scopus.com/inward/record.uri?eid=2-s2.0-85103689953&doi=10.1016%2fj.ipl.2021.106122&partnerID=40&md5=0eb6affbf1d34a1efef6769c87f23114https://scholars.lib.ntu.edu.tw/handle/123456789/581468We present another proof for the well-known small model property of two-variable logic. As far as we know, existing proofs of this property are based on a rather intricate model theoretic construction. In contrast, ours uses only simple combinatorial argument which we find more intuitive and direct. ? 2021 Elsevier B.V.Combinatorial proof; Model properties; Model-theoretic; Computer circuitsjournal article10.1016/j.ipl.2021.1061222-s2.0-85103689953