Categories of proofs for modal logics

13 Oct 2004


      Is there any (survey?) paper about categories of proofs for modal logics?
I mean categories of proofs as described in e.g. Lambek/Scott,
Introduction to higher-order categorical logic.

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


14-Oct-2004 09:07:53 -0300,1534;000000000001-00000000