- From: Dan Connolly <connolly@w3.org>
- Date: Sat, 19 Dec 2009 23:28:28 -0600
- To: public-awwsw@w3.org
concerning:
[[(See Lampson et al's authorization calculus for an explanation of
"speaks for".) The client may therefore conclude that Alice says Alice
lives next door to Bill. But Alice wouldn't say this, since Alice does
not know this to be true.
]]
-- http://www.w3.org/2001/tag/awwsw/http-semantics-report-20091204.html
One of the axioms in ABLP logic is:
s \implies { A says s }.
So if it's true that Alice lives next door to bill, then
Alice ABLP:says it. Perhaps I'm confusing an informal
notion of truth with "logically necessary" or "provable"
or something, but I don't think so.
--
Dan Connolly, W3C http://www.w3.org/People/Connolly/
gpg D3C2 887B 0F92 6005 C541 0875 0F91 96DE 6E52 C29E
Received on Sunday, 20 December 2009 05:28:31 UTC