On counting propositional logic and Wagner's hierarchy
Work
Year: 2023
Type: article
Abstract: We introduce an extension of classical propositional logic with counting quantifiers. These forms of quantification make it possible to express that a formula is true in a certain portion of the set o... more
Source: Theoretical Computer Science
Institutions University of Bologna, Zambon (Italy), Helsinki Institute for Information Technology, Institut national de recherche en informatique et en automatique, Université Côte d'Azur
Cites: 45
Cited by: 2
Related to: 10
FWCI: 0.569
Citation percentile (by year/subfield): 79.69
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Peace, justice, and strong institutions
Open Access status: hybrid
APC paid (est): $2,690