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 条
  • [1] A simple two-variable model of cardiac excitation
    Aliev, RR
    Panfilov, AV
    CHAOS SOLITONS & FRACTALS, 1996, 7 (03) : 293 - 301
  • [2] Weighted model counting beyond two-variable logic
    Kuusisto, Antti
    Lutz, Carsten
    LICS'18: PROCEEDINGS OF THE 33RD ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, 2018, : 619 - 628
  • [3] Two-Variable Logic with Counting and Trees
    Charatonik, Witold
    Witkowski, Piotr
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2016, 17 (04)
  • [4] TWO-VARIABLE LOGIC WITH TWO ORDER RELATIONS
    Schwentick, Thomas
    Zeume, Thomas
    LOGICAL METHODS IN COMPUTER SCIENCE, 2012, 8 (01)
  • [5] Two-Variable Logic on Data Words
    Bojanczyk, Mikolaj
    David, Claire
    Muscholl, Anca
    Schwentick, Thomas
    Segoufin, Luc
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2011, 12 (04)
  • [6] On preservation theorems for two-variable logic
    Grädel, E
    Rosen, E
    MATHEMATICAL LOGIC QUARTERLY, 1999, 45 (03) : 315 - 325
  • [7] Two-variable logic with counting is decidable
    Gradel, E
    Otto, M
    Rosen, E
    12TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1997, : 306 - 317
  • [8] Two-variable Logic with Counting and Trees
    Charatonik, Witold
    Witkowski, Piotr
    2013 28TH ANNUAL IEEE/ACM SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2013, : 73 - 82
  • [9] Complexity of two-variable logic with counting
    Pacholski, L
    Szwast, W
    Tendera, L
    12TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1997, : 318 - 327
  • [10] Two-variable Logic with a Between Relation
    Krebs, Andreas
    Lodaya, Kamal
    Pandya, Paritosh
    Straubing, Howard
    PROCEEDINGS OF THE 31ST ANNUAL ACM-IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2016), 2016, : 106 - 115
12345