System Kl (K sub l)

[Rescher and Urquhart, 1971]

Notes

In some sense Kl is Kt with linear time.

The terms that are inherited from Kt

Based on

Kl is Kb plus the axiom G4: (G(p+q)&G(p+Gq)&G(Gp+q))>(Gp+Gq)

[Rescher and Urquhart, 1971, p90]

Basis for

S4.3 is Kl plus the definition: DN1: La == a & Ga [Rescher and Urquhart, 1971, p131]

S5 is Kl plus the definition: DN2: La == a&Ga&Ha

[Rescher and Urquhart, 1971, p133]


Go to ...


© Copyright 2000, by John Halleck, All Rights Reserved.
This page is http://www.cc.utah.edu/~nahaj/logic/structures/systems/ksubl.html
This page was last modified on November 10th, 2005