"provable" modal operator

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