System B

[Hughes and Cresswell, 1996]


Named for L.E.J. Brouwer [Hughes and Cresswell, 1996, p70 fn 5]

Also known as KTB. [Chellas, 1980, p131]

Characterized by reflexive symmetrical frames. [Hughes and Cresswell, 1996, p63]

Also known as Kρσ [Priest, 2001, p39]

Based on

The system B (named after Brouwer) is the result of T and the axiom B p>LMp [Hughes and Cresswell, 1996, p63]


The system B is the temporal logic K sub T with the definition [ La == a & Ga & Ha ] [Rescher and Urquhart, 1971, p127]

Basis for

B + Axiom 4 = S5 [Hughes and Cresswell, 1996, p62]

Go to ...

© Copyright 2000, by John Halleck, All Rights Reserved.
This page is
This page was last modified on December 25th, 2006