Adrian wrote: (01)
> Pat --
> You wrote....
> I know now how to map between context/modal axiomatic styles,
> state-based temporal descriptions, continuant/occurrent talk, and 4-d
> modelling. The ideas involved are basically quite simple, and can be
> summarized as recipes plus user guides which explain the different
> 'ways of thinking' involved. This covers quite a lot, I think most,
> of the temporal ontology axiom styles that have ever been used. This
> feels to me like serious progress.
> Do you have a paper about this? If not, would you consider writing
> one? I hereby volunteer to proof read. (02)
I volunteer too! I seem to be having over-zealous spam-filter
problems at present as I think I have missed the original email:
I want to make sure that I don't miss any follow-up on it though!
Sounds like serious progress indeed, which I'd like to see
a lot more of. (03)
John B. (04)
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (05)