System Kb (K sub b)

[Rescher and Urquhart, 1971]


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