Wei Dai wrote:
Thanks for your answers. They are very helpful.
Y're welcome. I want just add something.
Your general question was Why using modal logic when
quantifying on worlds is enough. My basic answer was
that Kripke's possible world semantics works only on a
subset of the possible
Hi Tim, just some quick comments.
On Tue, Aug 13, 2002 at 10:08:50AM -0700, Tim May wrote:
* Because toposes are essentially mathematical universes in which
various bits and pieces of mathematics can be assumed. A topos in which
Euclid's Fifth Postulate is true, and many in which it is
On Wed, Aug 14, 2002 at 04:38:45PM +0200, Bruno Marchal wrote:
Your general question was Why using modal logic when
quantifying on worlds is enough. My basic answer was
that Kripke's possible world semantics works only on a
subset of the possible modal logics.
Let me generalize my question
3 matches
Mail list logo