System K4 (Sobociński)

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

© Copyright 2000, by John Halleck, All Rights Reserved.
This page is
This page was last modified on July 15th, 2008.