Axiom T (Lp > p)

[Hughes and Cresswell, 1996]

Notes

Lp>p

This axiom is often called the "Axiom of Necessity".

It is usually called "T" because it is the defining axiom of the system T

Systems

T = K + T

B = K + T + B

S4 = K + T + S4

S5 = K + T + 5 Mp>LMp

E2 = System E2⁰ + T

Go to ...

• Axioms page
• Logic Structures Page
• Logic Page
• John Halleck's home page

© Copyright 1999 by John Halleck, All Rights Reserved
This page is http://www.cc.utah.edu/~nahaj/logic/structures/axioms/CLpp.html
This page was last modified on October 9th, 2005