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 ...