home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / sci / logic / 1321 < prev    next >
Encoding:
Internet Message Format  |  1992-08-29  |  750 b 
  1. Path: sparky!uunet!psgrain!hippo!ucthpx!uctvax.uct.ac.za!naturman
  2. From: naturman@uctvax.uct.ac.za
  3. Newsgroups: sci.logic
  4. Subject: Re: Modal logic Correction
  5. Message-ID: <1992Aug28.114405.202562@uctvax.uct.ac.za>
  6. Date: 28 Aug 92 11:44:04 +0200
  7. References: <1992Aug28.114007.202560@uctvax.uct.ac.za>
  8. Keywords: modal logic
  9. Organization: University of Cape Town
  10. Lines: 16
  11.  
  12. In article <1992Aug28.114007.202560@uctvax.uct.ac.za>,
  13. naturman@uctvax.uct.ac.za writes:
  14.  
  15. Sorry the correct question is as follows:
  16.  
  17.  
  18.  Does anyone know if the modal logic with the following axioms has been
  19.  investigated ever?
  20.  
  21.  p(A v B) <=> (pA v pB)
  22.  ppA => A v pA
  23.  
  24.  and with deduction rule
  25.  from A infer nA
  26.  
  27.  where p is the possibilty operator and n is the necessity operator.
  28.