Modal logic

Article View: sci.logic

Article #179

#179

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

10 lines
556 bytes

Does anyone know if the modal logic with the following axioms has been
investigated ever?

p(A & B) <=> (pA & 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.114007.202560@uctvax.uct.ac.za>

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

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: Modal logic
Message-ID: <1992Aug28.114007.202560@uctvax.uct.ac.za>
Date: 28 Aug 92 11:40:05 +0200
Keywords: modal logic
Organization: University of Cape Town
Lines: 10