John Halleck's Data for Ken Pledger's Modal Logic system 6s:


# Ken Pledger's system 6s = S4
=include s3
L     => LL

LMML  => LML
LML   => LMLL
LMLL  => LLML

LMM   => LM
LM    => LMLLM
LMLLM => LLM

Go to ...


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