Re: INTERNATIONAL STANDARD FOR LOGIC: CSMF

phayes@cs.uiuc.edu (Pat Hayes)

Mail folder: SRKB Mail
Next message: attardi@di.unipi.it: "Re: Difference between logics and theories"
Previous message: David McAllester: "INTERNATIONAL STANDARD FOR LOGIC: CSMF"
In-reply-to: John McCarthy: "Re: INTERNATIONAL STANDARD FOR LOGIC: CSMF"

Message-id: <199409121639.AA10201@dante.cs.uiuc.edu>
X-Sender: phayes@dante.cs.uiuc.edu
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Date: Mon, 12 Sep 1994 11:44:10 +0000
To: jmc@cs.stanford.edu
From: phayes@cs.uiuc.edu (Pat Hayes)
Subject: Re: INTERNATIONAL STANDARD FOR LOGIC: CSMF
Cc: fritz@rodin.wustl.edu, tony@ontek.com, E.Hunt@cgsmtp.comdt.uscg.mil,
        bhacker@nara.gov, cg@cs.umn.edu, duschka@cs.stanford.edu,
        genesereth@cs.stanford.edu, interlingua@isi.edu, jksharp@sandia.gov,
        msingh@bcr.cc.bellcore.com, msmith@vax2.cstp.umkc.edu,
        roger@ci.deere.com, scott@ontek.com, sharadg@atc.boeing.com,
        skperez@mcimail.com, sowa@turing.pacss.binghamton.edu,
        srkb@cs.umbc.edu
Sender: owner-srkb@cs.umbc.edu
Precedence: bulk

At 10:30 AM 9/12/94 -0400, David McAllester wrote:
>Both John McCarthy and Chris Menzel have correctly pointed.....

Due to a local bug, now fixed, all my email for several days has bounced.
I'd be grateful if anyone who has sent any messages on this topic to me in
the last 5 days could resend them. Thanks.

Pat Hayes


----------------------------------------------------------------------------
Beckman Institute                                    (217)244 1616 office
405 North Mathews Avenue        	   (217)328 3947 or (415)855 9043 home
Urbana, IL. 61801                                    (217)244 8371 fax  	  

hayes@cs.stanford.edu  or Phayes@cs.uiuc.edu