Re: [ontolog-forum] type free logic and higher order quantification

[Christopher Menzel <cmenzel@xxxxxxxx>]

On Aug 19, 2011, at 5:53 PM, Rick Murphy wrote:

I enjoyed your paper [1] and recommend it highly for anyone who wants to understand the design goals of CL.

Thanks, that was the intent.  I would be remiss not to note the extent of Pat Hayes' influence on that paper; there's a dash of John Sowa there as well. ;-)

[1] http://cmenzel.org/Papers/Menzel-KRTheWWWAndTheEvolutionOfLogic.pdf

I just received word that this paper is finally hitting the shelves (some two years after I sent in the proofs) in the journal Synthese 182(2) 269-295: http://www.springerlink.com/content/f2k1h1m713467357/.

-chris

_________________________________________________________________
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    (01)