System Kb (K sub b)

[Rescher and Urquhart, 1971]

Notes

In some sense, Kb is Kt with branching time restrictions.

The terms are inherited from Kt

Based on

Kb is any of the bases for Kt plus the axioms of:

[Rescher and Urquhart, 1971, p76]

Basis for

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

[Rescher and Urquhart, 1971, p90]


Go to ...


© 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