W3C home > Mailing lists > Public > www-archive@w3.org > January 2002

RE: TDL - Model theory take 1.

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Thu, 24 Jan 2002 14:19:39 -0000
To: "Patrick Stickler" <patrick.stickler@nokia.com>
Cc: <www-archive@w3.org>, <pfps@research.bell-labs.com>
Message-ID: <JAEBJCLMIFLKLOJGMELDIENGCCAA.jjc@hplb.hpl.hp.com>
> 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

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 14:42:04 UTC