Modal Proof Theory

Melvin Fitting
Department of Mathematics and Computer Science
Lehman College
250 Bedford Park Boulevard West
Bronx, NY 10468-1589
fitting@lehman.cuny.edu