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