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

# Ken Pledger's 3q (K2)
=include s3

Lp => llp

MLL => LLML
ML => LLML
MML => LLML

lm = ml

Go to ...

• Check Modal
• Logic Page
• John Halleck's Home Page

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