Now showing items 1-2 of 2

  • Expressive power and complexity of a logic with quantifiers that count proportions of sets 

    Arratia Quesada, Argimiro Alejandro; Ortiz Gómez, Carlos (2006)
    Article
    Open Access
    We present a second-order logic of proportional quantifiers, SOLP, which is essentially a first-order language extended with quantifiers that act upon second-order variables of a given arity r and count the fraction of ...
  • Syntactic approximations to computational complexity classes 

    Arratia Quesada, Argimiro Alejandro; Ortiz Gómez, Carlos (2007)
    Conference report
    Open Access
    We present a formal syntax of approximate formulas suited for the logic with counting quantifiers SOLP. This logic was studied by us in [1] where, among other properties, we showed: (i) In the presence of a built–in ...