Showing 2021Show all
2 papers · 1 filter
cs.LO2021
On Measure Quantifiers in First-Order Arithmetic (Long Version)
Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
We study the logic obtained by endowing the language of first-order arithmetic with second-order measure quantifiers. This new kind of quantification allows us to express that the…
cs.LO2021
On Counting Propositional Logic
Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
We study counting propositional logic as an extension of propositional logic with counting quantifiers. We prove that the complexity of the underlying decision problem perfectly ma…