- From: Dan Connolly <connolly@w3.org>
- Date: Tue, 23 Sep 2003 11:31:09 -0500
- To: Pat Hayes <phayes@ai.uwf.edu>
- Cc: www-archive@w3.org
Pat, At some point, you mailed me about 5 axioms for a modal "proveable" operator. Does that ring a bell? What are they? Where do they come from? I spent about an hour last night looking for your message and I can't find it. I think you sent them in response to something about avoiding the excluded middle, or quoting and self-reference, or something. -- Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Tuesday, 23 September 2003 12:31:10 UTC