[time 645] Re: [time 644] Re: [time 636] Worlds as Lexicon -> Possible Worlds of Kripke structure?

Stephen P. King (stephenk1@home.com)
Mon, 30 Aug 1999 09:14:53 -0400

• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
• Next message: Hitoshi Kitada: "[time 646] Publication of Log Files"
• Previous message: Stephen P. King: "[time 644] Re: [time 636] Worlds as Lexicon -> Possible Worlds of Kripke structure?"
• In reply to: WDEshleman@aol.com: "[time 636] Worlds as Lexicon"

Hi All,

Addendum to the references:

http://math.ucr.edu/home/baez/week70.html

Later,

Stephen

• Next message: Hitoshi Kitada: "[time 646] Publication of Log Files"
• Previous message: Stephen P. King: "[time 644] Re: [time 636] Worlds as Lexicon -> Possible Worlds of Kripke structure?"
• In reply to: WDEshleman@aol.com: "[time 636] Worlds as Lexicon"

This archive was generated by hypermail 2.0b3 on Sat Oct 16 1999 - 00:36:31 JST