Re: Modal logic Correction

Article View: sci.logic

Article #180

#180

From: naturman
Date: Fri, 28 Aug 1992 09:44

16 lines
777 bytes

In article <1992Aug28.114007.202560@uctvax.uct.ac.za>,
naturman@uctvax.uct.ac.za writes:

Sorry the correct question is as follows:


 Does anyone know if the modal logic with the following axioms has been
 investigated ever?
 
 p(A v B) <=> (pA v pB)
 ppA => A v pA
 
 and with deduction rule
 from A infer nA
 
 where p is the possibilty operator and n is the necessity operator.

Technical Details

Message-ID: <1992Aug28.114405.202562@uctvax.uct.ac.za>

Path: arc1-ca.pugleaf.net!sparky!uunet!psgrain!hippo!ucthpx!uctvax.uct.ac.za!naturman

References: <1992Aug28.114007.202560@uctvax.uct.ac.za>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!psgrain!hippo!ucthpx!uctvax.uct.ac.za!naturman
From: naturman@uctvax.uct.ac.za
Newsgroups: sci.logic
Subject: Re: Modal logic Correction
Message-ID: <1992Aug28.114405.202562@uctvax.uct.ac.za>
Date: 28 Aug 92 11:44:04 +0200
References: <1992Aug28.114007.202560@uctvax.uct.ac.za>
Keywords: modal logic
Organization: University of Cape Town
Lines: 16

Reply to Parent Message