Subject: Re: Temporal e
From: Moshe Vardi (vardi@cs.rice.edu)
Date: Wed Jul 11 2001 - 03:03:38 PDT
On one hand, I understand that Temporal e does not have full negation.
On the other hand, the claim is that there is support for A/G. But that
means that youhave to have negation, at least at the top level.
Moshe
This archive was generated by hypermail 2b28 : Wed Jul 11 2001 - 03:04:34 PDT