System Kt (K sub t)

Notes

This system is E.J. Lemon's Kt system.

It was designed to be a minimal tense logic.

The terms are

Based on

With G and H undefined it is:

[Prior, 1967, p176]

OR

With F and P undefined.

[Prior, 1967, p176]

Basis for

Kt plus the definition [ La == a & Ga ] Gives von Wright's system M. [Rescher and Urquhart, 1971, p126] (Which is T (Feys) [Hughes and Cresswell, 1968, p125]

Kt plus the definition [ La == a & Ga & Ha ] gives system B (The Brouwerian system) [Rescher and Urquhart, 1971, p127]

Kb is formed by Kt plus the axioms:

[Rescher and Urquhart, 1971, p76]


Go to ...


© Copyright 2006, by John Halleck, All Rights Reserved.
This page is http://www.cc.utah.edu/~nahaj/logic/structures/systems/ksubt.html
This page was last modified on October 2nd, 2006