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>


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.


Received on Wednesday, 15 October 2008 17:36:40 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:47:53 UTC