Article View: sci.logic
Article #112Re: Set theory and modal logic
From: Michael Carroll
Date: Fri, 10 Apr 1992 23:46
Date: Fri, 10 Apr 1992 23:46
12 lines
911 bytes
911 bytes
In article <1992Apr10.013706.28964@morrow.stanford.edu>, BR.MJC@forsythe.stanford.edu (Michael Carroll) writes: > . . . . . And, in general, the interior and closure of x will be distinct >from each other and from x itself. Oops. This has not been shown. And the point of Loader's original comment, which someone was kind enough to explicate for me, is precisely that merely adding logical axioms for modal operators is not enough to guarantee this. -- Michael Carroll Research Libraries Group
Technical Details
Message-ID:
<1992Apr10.234644.23110@morrow.stanford.edu>Path:
arc1-ca.pugleaf.net!sparky!uunet!stanford.edu!morrow.stanford.edu!newsShow Full Headers
Complete Article Headers
Newsgroups: sci.logic Path: arc1-ca.pugleaf.net!sparky!uunet!stanford.edu!morrow.stanford.edu!news From: BR.MJC@forsythe.stanford.edu (Michael Carroll) Subject: Re: Set theory and modal logic Message-ID: <1992Apr10.234644.23110@morrow.stanford.edu> Sender: news@morrow.stanford.edu (News Service) Organization: Stanford University, California, USA Distribution: usa Date: Fri, 10 Apr 1992 23:46:44 GMT Lines: 12