KRE programs

These are intended to illustrate course material. Queries, suggestions and improvements welcome!

Modal logic inference system -- take a copy of this script to run under DICE.
Documentation in this README

Last modified: Tue Jan 24 20:16:01 GMT 2006