home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / sci / logic / 1320 < prev    next >
Encoding:
Internet Message Format  |  1992-08-29  |  536 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: Modal logic
  5. Message-ID: <1992Aug28.114007.202560@uctvax.uct.ac.za>
  6. Date: 28 Aug 92 11:40:05 +0200
  7. Keywords: modal logic
  8. Organization: University of Cape Town
  9. Lines: 10
  10.  
  11. Does anyone know if the modal logic with the following axioms has been
  12. investigated ever?
  13.  
  14. p(A & B) <=> (pA & pB)
  15. ppA => A v pA
  16.  
  17. and with deduction rule
  18. from A infer nA
  19.  
  20. where p is the possibilty operator and n is the necessity operator.
  21.