I still can't raise the URLs at the two Greek
sites you listed. Is there a better reference for
belief revision you would suggest? A google
search on "belief revision tutorial" led me to two
hits that might be good ones:
http://scandinavianlogic.org/material/BaltagSmets-
lectures1+2.pdf
and
http://en.wikipedia.org/wiki/Belief_revision (01)
-Rich (02)
Sincerely,
Rich Cooper
EnglishLogicKernel.com
Rich AT EnglishLogicKernel DOT com
9 4 9 \ 5 2 5 - 5 7 1 2 (03)
-----Original Message-----
From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx
[mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On
Behalf Of John F Sowa
Sent: Wednesday, January 07, 2015 12:52 PM
To: ontolog-forum@xxxxxxxxxxxxxxxx
Subject: Re: [ontolog-forum] The Lindenbaum
lattice and a biography of Adolf Lindenbaum (04)
Rich, (05)
For any logic L, and any set of sentences S in L,
the closure Cn(S)
is the set of all sentences that are entailed by
S. (06)
There is a question about provability (turnstile
operator) or
semantic entailment (double turnstile). For FOL,
those two versions
coincide. Since Tarski developed his systems for
versions of FOL,
you can assume either version. (07)
That Stanford article is not well written. I
admire your tenacity
in digging through it, but the author chose to
throw in too much
verbiage and symbols. This is a case where more
is less. And
less would have been more. (08)
John (09)
__________________________________________________
_______________
Message Archives:
http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr:
http://ontolog.cim3.net/mailman/listinfo/ontolog-f
orum/
Unsubscribe:
mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join:
http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePa
ge#nid1J (010)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J (011)
|