Re: Contexts and quantifiers in KIF

Jim Fulton <>
Date: Fri, 16 Apr 93 08:13:18 -0700
From: Jim Fulton <>
Message-id: <>
Subject: Re: Contexts and quantifiers in KIF
Cc:,, interlingua@ISI.EDU,, srkb@ISI.EDU

Thanks for putting some detail behind my intuitions.  I think you and I 
are in close harmony.  The interpretation I want to give to modal statements 
is suggested by the operator

        it is possible for there to be a world such that ...

which is subtly different from 

        there is a possible world such that ....

Furthermore, as you rightly notice, I do believe that there are sentences 
that are true today in this real world that are built from that operator 
(indeed, from several different flavors of that operator) in which the 
that-clause will never have been true.