Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

SUO: KIF and FOL


On Mon, Apr 01, 2002 at 03:55:26PM -0600, Bill Andersen wrote:
> I think you're being a little hard on relatively benign creatures like
> FOL and KIF, which is simply an alternate syntax for FOL.  

Well, if you ignore sequence variables.  KIF with sequence variables
(call it KIF+) is equivalent to a weak infinitary extension of KIF.
KIF+ is conservative with respect to KIF, i.e, any sentence without
sequence variables that is valid in KIF+ is valid in KIF.

Chris Menzel