next up previous
Next: How to assert n Up: Effect axioms and monotonic Previous: Some reifications

Frame axioms using frames

 

We begin with a purely mathematical device.



John McCarthy
Thu Jan 30 13:14:14 PDT 1997