RE: TDL - Model theory take 1.

> Do we want to reference sections 1-3 of Sergey's document
> at all, if Peter's SWOL specification gives us that machinery?
> (or does it?)

Yes keep Sergey's ref. as well as Peter's.

Peter's document is quite terse. The real debt (for me at least) is to a
conversation I had with him at webont f2f (which I guess we don't


Received on Thursday, 24 January 2002 09:19:46 UTC