Axiom 4

Notes

[Hughes and Cresswell, 1996]

Axiom

Lp > LLp

This is the defining axiom of the system S4

Systems

S4 = axiom K [L(p>q)>(Lp>Lq) + T [Lp > p] + 4 [Hughes and Cresswell, 1996, p 53]


Go to ...


This page is http://www.cc.utah.edu/~nahaj/logic/structures/axioms/CLpLLp.html
This page was last modified on May 23rd, 2005