Re: updated draft of model theory

>There are various places in the M&S that tie property names to specific
>schemas (e.g., P60, sect. 2.2.1, property names must be associated with
>a schema, and in 2.2.3).  I don't think this idea is currently reflected
>in the model theory is it?  (It would appear to (at least) impact the
>definition of vocab(I), and the to-be-written material in Section 9.)

No , it isn't, and I simply havnt thought about it. Thanks for 
pointing it out. I will consider it when rewriting the MT in the 
post-F2F version.

Pat

---------------------------------------------------------------------
(650)859 6569 w
(650)494 3973 h (until September)
phayes@ai.uwf.edu 
http://www.coginst.uwf.edu/~phayes

Received on Monday, 6 August 2001 21:08:32 UTC