S4.03

[Georgacarakos, 1977]

Notes

Based on

S4.03 = the system S4 plus the axiom L(Lp > q) + (LMLq > p)

[Georgacarakos, 1977, p480]

OR

S4.03 = the system S4 plus the axiom (LMLp & q) > L(p + Mq)

[Georgacarakos, 1977, p483]

Basis for


Go to ...


This page is http://www.cc.utah.edu/~nahaj/logic/structures/systems/s4.03.html
This page was last modified on October 11th, 2005.