[Rescher and Urquhart, 1971]
In some sense, Kb is Kt with branching time restrictions.
The terms are inherited from Kt
Kb is any of the bases for Kt plus the axioms of:
[Rescher and Urquhart, 1971, p76]
KL is Kb plus the axiom G4: (G(p+q)&G(p+Gq)&G(Gp+q))>(Gp+Gq)
[Rescher and Urquhart, 1971, p90]
© Copyright 2000, by John Halleck, All Rights Reserved.
This page is http://www.cc.utah.edu/~nahaj/logic/structures/systems/ksubb.html
This page was last modified on October 8th,2005