updated version of the axiomatic semantics

From: Deborah Mcguinness (dlm@ksl.stanford.edu)
Date: 01/06/01


as promised the updated version of the axiomatic semantics is available
from
the standard place:

http://www.ksl.Stanford.EDU/people/dlm/daml-semantics

the abstract which links to all formats is available directly from:
http://www.ksl.Stanford.EDU/people/dlm/daml-semantics/abstract-axiomatic-semantics.html

and html is available directly from:
http://www.ksl.stanford.edu/people/dlm/daml-semantics/daml+oil-axioms-010105.htm

text is available directly from:
http://www.ksl.stanford.edu/people/dlm/daml-semantics/daml+oil-axioms-010105.txt

and word is available directly from:
http://www.ksl.stanford.edu/people/dlm/daml-semantics/daml+oil-axioms-010105.doc

previous versions remain and are available from:
http://www.ksl.Stanford.EDU/people/dlm/daml-semantics/old-versions/

comments are welcome.

thx,
d


This archive was generated by hypermail 2.1.4 : 04/02/02 EST