System S4.3

[Hughes and Cresswell, 1996]

Notes

Characterized by connected S4 frames. [Hughes and Cresswell, 1996, p129]

This is often a temporal system.

Based on

The system S4.3 is S4 + the axiom D1 [L(Lp>q)+L(Lq>p)] [Hughes and Cresswell, 1996, p362]

OR

S4.3 is Kl plus the definition: DN1: La == a & Ga [Rescher and Urquhart, 1971, p131]

Basis for

S4.3 + N1 [L(L(p>Lp)>p)>(MLp>p)] = S4.3.1 [Hughes and Cresswell, 1996, p362]

The system K3 is S4.3 + MS [LMp=>MLp] [Zeman, 1973, p277] [Hughes and Cresswell, 1996, p362]


Go to ...


© Copyright 2000, by John Halleck, All Rights Reserved.
This page is http://www.cc.utah.edu/~nahaj/logic/structures/systems/s4.3.html
This page was last modified on October 8th, 2005