Theorem 1

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 tex2html_wrap_inline750

, plus the universal closures of formulas

and

Josefina Sierra
Tue Jul 21 09:54:27 PDT 1998