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  =>   MLLp
 LMLLp  =>   LMLp

 LMMLp  =>   LMMp

LMLLMp =>     LMp

# end of definition of S3.

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