# 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^{0} + T

# Go to ...

© 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