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…