** Next:** Proof
**Up:** Blocks World Example
** Previous:** Blocks World Example

The nested abnormality
theory described by is
equivalent to the second order logic theory
whose axioms are , plus the universal
closures of formulas and .

*Josefina Sierra *

Tue Jul 21 09:54:27 PDT 1998