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 条
  • [21] On the Satisfiability of Two-Variable Logic over Data Words
    David, Claire
    Libkin, Leonid
    Tan, Tony
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, 2010, 6397 : 248 - 262
  • [22] Two-Variable Separation Logic and Its Inner Circle
    Demri, Stephane
    Deters, Morgan
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2015, 16 (02)
  • [23] Two-Variable Logic on Data Trees and XML Reasoning
    Bojanczyk, Mikoaj
    Muscholl, Anca
    Schwentick, Thomas
    Segoufin, Luc
    JOURNAL OF THE ACM, 2009, 56 (03)
  • [24] Order-Invariance of Two-Variable Logic is Decidable
    Zeume, Thomas
    Harwath, Frederik
    PROCEEDINGS OF THE 31ST ANNUAL ACM-IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2016), 2016, : 807 - 816
  • [25] An Effective Characterization of the Alternation Hierarchy in Two-Variable Logic
    Krebs, Andreas
    Straubing, Howard
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2017, 18 (04)
  • [26] ON THE LINEAR DENJOY PROPERTY OF TWO-VARIABLE CONTINUOUS FUNCTIONS
    Laczkovich, Miklos
    Matszangosz, Akos K.
    COLLOQUIUM MATHEMATICUM, 2015, 141 (02) : 157 - 173
  • [27] Generic two-variable model of excitability
    Ventura, A.C.
    Mindlin, G.B.
    Dawson, S. Ponce
    Physical Review E - Statistical, Nonlinear, and Soft Matter Physics, 2002, 65 (04): : 1 - 046231
  • [28] Generic two-variable model of excitability
    Ventura, AC
    Mindlin, GB
    Dawson, SP
    PHYSICAL REVIEW E, 2002, 65 (04):
  • [29] Towards a more efficient approach for the satisfiability of two-variable logic
    Lin, Ting-Wei
    Lu, Chia-Hsuan
    Tan, Tony
    2021 36TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2021,
  • [30] Register Automata with Extrema Constraints, and an Application to Two-Variable Logic
    Torunczyk, Szymon
    Zeume, Thomas
    PROCEEDINGS OF THE 35TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2020), 2020, : 873 - 885
12345