Pledger's S3 extension 6p

[Pledger, 1972]

Notes

This system has 6 distinct proper affirmative modalities (plus the improper modality p) and is in neither K2 nor S5 [Pledger, 1972, p270-271]

The distinct affirmative modalities of the syatem are:

p    implied by Lp       it implies Mp

Lp   implied by LLp      it implies p, LMp
Mp   it implies MMp      implied by p, MLp

LLp                      it implies Lp, LMp
MMp                      implied by Mp, MLp

LMp  implied by Lp, LLp  it implies MLp
MLp  it implies Mp, MMp  implied by LMp

[Pledger, 1972, p270-271]

Based on

The system 6p is: the system S3 plus the following sets:

{ LLMp => p, LMMp => Mp } or the dual
{ p => MMLp, Lp => MLLp }

[Pledger, 1972, p275]

Basis for

6pa is 6p + MMp


Go to ...


© Copyright 2000, by John Halleck, All Rights Reserved.
This page is http://www.cc.utah.edu/~nahaj/logic/structures/systems/6p.html
This page was last modified on November 21st, 2004