System Kl (K sub l)

[Rescher and Urquhart, 1971]


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
This page was last modified on November 10th, 2005