#### Filter Results:

#### Publication Year

1996

2001

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

The following operation has frequently occurred in mathematics and its applications: partition a set into several disjoint non-empty subsets, so that the elements in each partition subset are homogeneous or indistinguishable with respect to some given properties. H.-D.Ebbinghaus first (in 1991) distilled from this phenomenon, which is a monadic second order… (More)

- Yijia Chen, Enshao Shen
- CSL
- 2001

We show in this paper a special extended logic, partition logic based on so called partition quantifiers, is able to capture some important complexity classes NP, P and NL by its natural fragments. The Fagin's Theorem and Immerman-Vardi's Theorem are rephrased and strengthened into a uniform partition logic setting. Also the dual operators for the partition… (More)

- ‹
- 1
- ›