Modal Logic System K3

[Zeman, 1973]

[Sobociński, 1964]

[Sobociński, 1964a]

Notes

Based on

The system K3 is S4.3 + MS [LMp=>MLp] [Zeman, 1973, p277] [Hughes and Cresswell, 1996, p362]

Basis for


Go to ...


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