[Top] [All Lists]

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

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Christopher Menzel <cmenzel@xxxxxxxx>
Date: Fri, 19 Aug 2011 21:16:03 -0500
Message-id: <98ED275E-0650-4649-8F02-F295605BEA86@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. ;-)

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/.


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)

<Prev in Thread] Current Thread [Next in Thread>