System S8 (Alban)

• [Hughes and Cresswell, 1996]
• [Pledger, 1972, p267-283]

Notes

[Hughes and Cresswell, 1996] says that in S8 frames every normal world can see a non-normal world.

This system is 10pc in Ken Pledger's enumeration of systems derived from S3. [Pledger, 1972, p267-283] (Note, Pledger credits this to Halldén, however that the paper he references, [Halldén, 1950, p231], credits the it to Alban.

The modalities of S8 can be diagrammed as: (This diagram is used by Ken Pledger's permission, from his paper [Pledger, 1972, p281])

Based on

The system S8 (10pc) is the axiom LMMp plus any of the following systems:

• 6p
• 8q
• 10p
• 10r
• 12q
• 12s
• 12p
• 14q
• 14r
• 16s
• 18r
• 20s (S3)

[Pledger, 1972, p275]

OR

S8 = S3 + ~M~MMp [Or, equivalently, LMMp] [Halldén, 1950, p230]

Go to ...

• Systems Page
• Structures Page
• Logic Page
• John Halleck's home page

© Copyright 2000, by John Halleck, All Rights Reserved.
This page is http://www.cc.utah.edu/~nahaj/logic/structures/systems/s8.html
This page was last modified on October 19th, 2005