System K_l (K sub l)

[Rescher and Urquhart, 1971]

Notes

In some sense K_l is K_t with linear time.

The terms that are inherited from K_t

• G: It will always be
• H: It has always been
• P: Past
• F: Future

Based on

K_l is K_b 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 K_l plus the definition: DN1: La == a & Ga [Rescher and Urquhart, 1971, p131]

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

[Rescher and Urquhart, 1971, p133]

Go to ...

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

© 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