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 条

[41] ON TWO-VARIABLE GUARDED FRAGMENT LOGIC WITH EXPRESSIVE LOCAL PRESBURGER CONSTRAINTS
Lu, Chia-Hsuan
Tan, Tony
LOGICAL METHODS IN COMPUTER SCIENCE, 2024, 20 (03) : 1 - 16
[42] On the satisfiability problem for fragments of two-variable logic with one transitive relation
Szwast, Wieslaw
Tendera, Lidia
JOURNAL OF LOGIC AND COMPUTATION, 2019, 29 (06) : 881 - 911
[43] Domain-Lifted Sampling for Universal Two-Variable Logic and Extensions
Wang, Yuanhong
van Bremen, Timothy
Wang, Yuyi
Kuzelka, Ondrej
THIRTY-SIXTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FOURTH CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE / TWELVETH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2022, : 10070 - 10079
[44] On Exact Sampling in the Two-Variable Fragment of First-Order Logic
Wang, Yuanhong
Pu, Juhua
Wang, Yuyi
Kuzelka, Ondrej
2023 38TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS, 2023,
[45] Complexity results for first-order two-variable logic with counting
Pacholski, L
Szwast, W
Tendera, L
SIAM JOURNAL ON COMPUTING, 2000, 29 (04) : 1083 - 1117
[46] Two-Variable First Order Logic with Counting Quantifiers: Complexity Results
Lodaya, Kamal
Sreejith, A. V.
DEVELOPMENTS IN LANGUAGE THEORY, DLT 2017, 2017, 10396 : 260 - 271
[47] A Generic Characterization of Generalized Unary Temporal Logic and Two-Variable First-Order Logic
Place, Thomas
Zeitoun, Marc
32ND EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC, CSL 2024, 2024, 288
[48] A Two-Variable Model for SAT-Based ATPG
Chen, Huan
Marques-Silva, Joao
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2013, 32 (12) : 1943 - 1956
[49] Criticality in two-variable earthquake model on a random graph
Sun Fan
Zhang Duan-Ming
COMMUNICATIONS IN THEORETICAL PHYSICS, 2008, 50 (02) : 417 - 420
[50] Criticality in Two-Variable Earthquake Model on a Random Graph
SUN Fan~1 ZHANG Duan-Ming~21 physics Laboratory Center
CommunicationsinTheoreticalPhysics, 2008, 50 (08) : 417 - 420

← 1 2 3 4 5 →