Re: modal logic and possible worlds

From: Tim May <tcmay.domain.name.hidden>
Date: Tue, 13 Aug 2002 10:14:56 -0700

On Tuesday, August 13, 2002, at 10:08 AM, Tim May wrote:
> This graph, this set of vertices and edges, is a "per-ordered" set.
> More than just a set, any category with the property that between any
> two objects "p" and "q" there is AT MOST one arrow "p --> q" is said to
> be "pre-ordered."

I meant to type "pre-ordered" in the first line above.

I don't normally worry overmuch about minor typos, especially when I
used the correct spelling right after the typo, but I wouldn't want
anyone thinking there's some kind of "per-ordered" set!

--Tim May
Received on Tue Aug 13 2002 - 10:21:05 PDT