John Halleck's Data for Modal Logic System KD4! definitions:


# KD4!

=noduals
L => LML
LML => ML
LML => LM
ML => MLM
LM => MLM
MLM => M

Go to ...


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