# The distinct modality pattern for the modal logic system S4 =duals =normal Lp => p Lp => LMLp LMLp => MLp LMLp => LMp
This page is http://www.cc.utah.edu/~nahaj/logic/checkmodal/s4.data.html
© 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