John Halleck's Data for Modal Logic System S4:

# The distinct modality pattern for the modal logic system S4
Lp => p
Lp => LMLp
LMLp => MLp
LMLp => LMp

Go to ...

This page is
© Copyright 2000 by John Halleck, All Rights Reserved.
This snapshot was last modified on August 23rd, 2000
And the underlying file was last modified on July 11th, 2000