W3C home > Mailing lists > Public > www-archive@w3.org > September 2003

"provable" modal operator

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
Message-Id: <1064334669.23395.1840.camel@dirk.dm93.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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 7 November 2012 14:17:36 GMT