System S4.3.1

Disambiguation

This system is D (Prior) not to be confused with D (Lemmon and Scott) (that is K + D) [Zeman, 1973, p245]

Notes

This is often a temporal system. It assume descrete time. [Zeman, 1973, p245]

There are structural similarities between S4.3.1 and the LC logic system, in the same sense that S4 and Intuitionist PC are similar.

Based on

The system S4.3.1 is S4.3 + the axiom N1 [L(L(p>Lp)>p)>(MLp>p)] [Hughes and Cresswell, 1996, p180]

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

Basis for

?


Go to ...


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