[ontoiop-forum] ontoiop_20141124: Chat Transcript

[Till Mossakowski]

*Chat transcript from room: ontoiop_20141124*
*2014-11-24 GMT-08:00*
*[08:04] **TillMossakowski: *DOL examples, p. 100
*[08:04] **TillMossakowski: *props PT, T, S, AR, PD . S T AR PD PT
*[08:04] **TillMossakowski: *the bullet is not a multiplication symbol,
but rather an axiom separation symbol
*[08:05] **TillMossakowski: *at least that needs to be explained
*[08:06] **TillMossakowski: *note that these bullets are specific to
CASL and its propositional fragment (the latter is being used here)
*[08:08] **TillMossakowski: *p.108, new formulation: resulting in a
two-state machine
*[08:10] **TillMossakowski: *in two weeks, the OMG meeting starts. We
should have a meeting in three weeks, with a report from the OMG
meeting. Fabian should say whether we need a meeting in one week, for
preparation of the OMG meeting.
*[08:10] *List of attendees: TerryLongstreth, TillMossakowski
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.ovgu.de/pipermail/ontoiop-forum/attachments/20141124/c57b5010/attachment.html>