View Related Documents

Abstract

We prove that PTIME generalized quantifiers are closed under Boolean operations, iteration, cumulation and resumption.

Keywords  generalized quantifiers - computational complexity - polyadic quantifiers - Boolean combinations - iteration - cumulation - resumption

Fulltext Preview

Image of the first page of the fulltext document