<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=ISO-8859-15">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<tt>
<b>Chat transcript from room: ontoiop_20141124</b><br>
<b>2014-11-24 GMT-08:00</b><br>
<b>[08:04] </b><b>TillMossakowski: </b>DOL examples, p. 100<br>
<b>[08:04] </b><b>TillMossakowski: </b>props PT, T, S, AR, PD
. S T AR PD PT<br>
<b>[08:04] </b><b>TillMossakowski: </b>the bullet is not a
multiplication symbol, but rather an axiom separation symbol<br>
<b>[08:05] </b><b>TillMossakowski: </b>at least that needs to be
explained<br>
<b>[08:06] </b><b>TillMossakowski: </b>note that these bullets
are specific to CASL and its propositional fragment (the latter is
being used here)<br>
<b>[08:08] </b><b>TillMossakowski: </b>p.108, new formulation:
resulting in a two-state machine<br>
<b>[08:10] </b><b>TillMossakowski: </b>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.<br>
<b>[08:10] </b>List of attendees: TerryLongstreth,
TillMossakowski<br>
</tt>
</body>
</html>