On Wednesday 26 December 2007 16:30, Pat Hayes wrote:
> ...
>
> No. IKL is what you get when you take CL and add the ability to
> denote *propositions*. It turns out that this enables you to have the
> expressivity (in fact, in many case rather more) that modal and
> context logics provide, without sacrificing the 'name transparency'
> property of CL itself, that every occurrence of a name is treated the
> same as every other occurrence. But IKL is not a context logic, and
> contexts do not affect the denotations of names in IKL. (01)
I'm curious why you're not bringing up ICL in this (ahem) context? (02)
> ...
>
> Pat (03)
Randall Schulz (04)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (05)
|