Next:
How to assert n
Up:
Effect axioms and monotonic
Previous:
Some reifications
Frame axioms using frames
We begin with a purely mathematical device.
How to assert
n
objects distinct with
n
+1 axioms
Assignment and Contents Functions
What is a frame?
John McCarthy
Thu Jan 30 13:14:14 PDT 1997