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

DOI10.1016/J.IPL.2021.106122OpenAlexW3142786031MaRDI QIDQ2032164

Tony Tan, Yanger Ma

Publication date: 16 June 2021

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1908.07239

zbMATH Keywords

theory of computationtwo-variable logicsmall model property

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• On languages with two variables
• On the Decision Problem for Two-Variable First-Order Logic

This page was built for publication: A simple combinatorial proof for the small model property of two-variable logic