A simple combinatorial proof for the small model property of two-variable logic

被引：0
|
作者：
Ma, Yanger [1 ]
Tan, Tony [1 ]
机构：
[1] Natl Taiwan Univ, Taipei, Taiwan
来源：
INFORMATION PROCESSING LETTERS | 2021年 / 170卷
关键词：
Theory of computation; Two-variable logic; Small model property;
D O I：
10.1016/j.ipl.2021.106122
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
We 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. (C) 2021 Elsevier B.V. All rights reserved.
引用
收藏
页数：3
相关论文
共 50 条
  • [31] TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY
    Andreka, Hajnal
    Nemeti, Istvan
    JOURNAL OF SYMBOLIC LOGIC, 2021, 86 (02) : 785 - 800
  • [32] On the boundedness problem for two-variable first-order logic
    Kolaitis, PG
    Otto, M
    THIRTEENTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1998, : 513 - 524
  • [33] Linear circuits, two-variable logic and weakly blocked monoids
    Behle, Christoph
    Krebs, Andreas
    Mercer, Mark
    THEORETICAL COMPUTER SCIENCE, 2013, 501 : 20 - 33
  • [34] Communicating Finite-State Machines and Two-Variable Logic
    Bollig, Benedikt
    Fortin, Marie
    Gastin, Paul
    35TH SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2018), 2018, 96
  • [35] Linear circuits, two-variable logic and weakly blocked monoids
    Behle, Christoph
    Krebs, Andreas
    Mercer, Mark
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2007, PROCEEDINGS, 2007, 4708 : 147 - +
  • [36] REGISTER AUTOMATA WITH EXTREMA CONSTRAINTS, AND AN APPLICATION TO TWO-VARIABLE LOGIC
    Toruńczyk, Szymon
    Zeume, Thomas
    Logical Methods in Computer Science, 2022, 18 (01): : 1 - 42
  • [37] TWO-VARIABLE FIRST-ORDER LOGIC WITH EQUIVALENCE CLOSURE
    Kieronski, Emanuel
    Michaliszyn, Jakub
    Pratt-Hartmann, Ian
    Tendera, Lidia
    SIAM JOURNAL ON COMPUTING, 2014, 43 (03) : 1012 - 1063
  • [38] On the decision problem for two-variable first-order logic
    Gradel, E
    Kolaitis, PG
    Vardi, MY
    BULLETIN OF SYMBOLIC LOGIC, 1997, 3 (01) : 53 - 69
  • [39] Two-Variable First-Order Logic with Equivalence Closure
    Kieronski, Emanuel
    Michaliszyn, Jakub
    Pratt-Hartmann, Ian
    Tendera, Lidia
    2012 27TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2012, : 431 - 440
  • [40] Kinetics of the wavetrain in the two-variable oregonator model
    Zhou, TS
    Lü, JH
    Zhang, SC
    CHINESE PHYSICS, 2001, 10 (12): : 1096 - 1102
12345