TY - RPRT TI - On Classical Decidable Logics extended with Percentage Quantifiers and Arithmetics AU - Bartosz Bednarczyk AU - Maja Orłowska AU - Anna Pacanowska AU - Tony Tan PY - 2021 UR - https://arxiv.org/abs/2106.15250 ID - 2106.15250 ER -