Just FYI, I'm teaching a 500/600 level course on Modal Logic (including intuitionistic logic) next term. -- Richard Zach ...... http://www.ucalgary.ca/rzach/ Professor, Department of Philosophy University of Calgary, Calgary AB T2N 1N4, Canada