System K4 (Sobociński)

• [Zeman, 1973]
• [Hughes & Cresswell, 1968]
• [Sobociński, 1964a]

This is Sobociński's original K4 system.

For the system called K4 and formed from system K + Axiom 4 See K4 (K+4)

System K4 (Sobociński) is the system S4.4 plus the axiom MS [LMp=>MLp] [Zeman, 1973, p249] [Hughes & Cresswell, 1968, p345]

Go to ...

• Axioms page
• 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/k4.sob.html
This page was last modified on July 15th, 2008.