home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / sci / philosop / tech / 3929 < prev    next >
Encoding:
Internet Message Format  |  1992-11-06  |  663 b 
  1. Xref: sparky sci.philosophy.tech:3929 sci.logic:1938
  2. Newsgroups: sci.philosophy.tech,sci.logic
  3. Path: sparky!uunet!stanford.edu!Csli!delval
  4. From: delval@Csli.Stanford.EDU (Alvaro del Val)
  5. Subject: partial order semantics for conditional logic
  6. Message-ID: <1992Nov5.210845.6054@Csli.Stanford.EDU>
  7. Organization: Stanford University CSLI
  8. Date: Thu, 5 Nov 1992 21:08:45 GMT
  9. Lines: 9
  10.  
  11. I have often seen the claim that Pollock's conditional logic system SS
  12. can be semantically characterized in terms of a partial order
  13. associated to each world, but never seen a published proof. Could
  14. anybody give me references to where can I find such proof?
  15.  
  16. Thanks,
  17.  
  18. Alvaro del Val
  19.  
  20.