next up previous
Next: Proof Up: Blocks World Example Previous: Blocks World Example

Theorem 1

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


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