S4.02 (Sobociński)

Notes

Based on

System S4.02 is System S4 (Lewis) + the axiom ((p=>Lp)=>p) => (LMLp>p) [Sobociński, 1971, p381]

Basis for

Contained within

S4.04 (Zeman) [Sobociński, 1971, p381]


Go to ...


This page is http://www.cc.utah.edu/~nahaj/logic/structures/systems/s4.02.html
This page was last modified on February 17th, 2007