2 citations · 2 across the 1 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2021
On Classical Decidable Logics extended with Percentage Quantifiers and Arithmetics
Bartosz Bednarczyk, Maja Orłowska, Anna Pacanowska +1
During the last decades, a lot of effort was put into identifying decidable fragments of first-order logic. Such efforts gave birth, among the others, to the two-variable fragment…
cs.LO2019
A simple combinatorial proof for small model property of two-variable logic
Yanger Ma, Tony Tan
We present another proof for the well-known {\em small model property} of two-variable logic. As far as we know, existing proofs of this property rely heavily on model theoretic co…