W3C home > Mailing lists > Public > public-rif-wg@w3.org > October 2008

[PRD] Semantics of actions

From: Christian de Sainte Marie <csma@ilog.fr>
Date: Wed, 15 Oct 2008 19:35:51 +0200
Message-ID: <48F629F7.6020002@ilog.fr>
To: RIF WG <public-rif-wg@w3.org>

Guys,

after re-reading my interpretation of Gary's proposal in terms of entailment (oh, ok: after reading it :-) I found out that my version of conditions 2 and 3 was much to strong: I think it should be "phi |=/= f", not "f |=/= phi" (same in condition 3, mutatis mutandi).

I made the correction on the wiki.

Cheers,

Christian
Received on Wednesday, 15 October 2008 17:36:40 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:33:56 GMT