Re: Set theory and modal logic

Thread View: sci.logic

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Michael Carroll Fri, 10 Apr 1992 23:46

#112

Author: Michael Carroll
Date: Fri, 10 Apr 1992 23:46

12 lines
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

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads