Modal logic

Thread View: sci.logic

2 messages

[T] Back to Threads [V] Tree View [G] Group Articles

2 total messages Started by naturman Fri, 28 Aug 1992 09:40

#179

Author: 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.

Re: Modal logic Correction

#180

Author: 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.

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads