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


# Ken Pledger's system 4q (K1 = S4M)
=include s3

L => LL

LMM => LM
LM => LMLLM 
LMLLM => LLM
LLM => LMML
LMML => LML
LML => LMLL
LMLL => LLML


Go to ...


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