[FOM] Intuitionistic modal logic

[Till Mossakowski]

Is there a standard reference for intuitionistic modal logic,
also providing a proof calculus?

Till Mossakowski

-- 
Till Mossakowski                Phone +49-421-218-4683
Dept. of Computer Science       Fax +49-421-218-3054
University of Bremen            till at tzi.de           
P.O.Box 330440, D-28334 Bremen  http://www.tzi.de/~till