John Halleck's Data for Modal Logic System S3:


# This file contains the implication pattern of the irreducable modalities
# of the Modal Logic system S3.

=duals       # we take advantage of dualism to only specify half of them.
=beckersrule # and Becker's rule.

    Lp  =>      p
   LLp  =>     Lp

    Lp  =>   LMLp
   LLp  =>  LLMLp

   LMp  =>   LMMp
  LLMp  => LMLLMp
  LMLp  =>    MLp
  LMLp  =>  LMMLp

  LMLp  =>    LMp
 LLMLp  =>   LLMp

 LLMLp  =>  LMLLp

 LMLLp  => LMLLMp
 LMLLp  =>   MLLp
 LMLLp  =>   LMLp

 LMMLp  =>   LMMp
 LMMLp  => MLMMLp

LMLLMp =>     LMp

# end of definition of S3.

Go to ...


This page is http://www.cc.utah.edu/~nahaj/logic/checkmodal/s3.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