Subject: references for modal logic

From: Lars Birkedal <[email-masked]>
Date: Wed, 08 Sep 1999 13:05:54 -0400

Steve and Jeff,
Here are some references for you:
I do not have references 3--5; would like to get a copy if you make some. 
Jeff: Can I get a copy of Dana's old paper ?
Best, Lars.

0. Frank Pfenning and Hao-Chi Wong. On a modal lambda-calculus for S4. In
   S. Brookes and M. Main, editors, Proceedings of the Eleventh Conference on
   Mathematical Foundations of Programming Semantics, New Orleans, Louisiana,
   March 1995.  Electronic Notes in Theoretical Computer Science, Volume 1,
   Elsevier. http://www.cs.cmu.edu/~fp/papers/mfps95.ps.gz

(for other papers of Frank Pfenning related to staged computation and modal
logic see his homepage http://www.cs.cmu.edu/~fp)

1. Bierman and de Paiva: Intuitionistic Necessity Revisited.
	http://hypatia.dcs.qmw.ac.uk/author/BiermanGM
	file new-inr.ps.Z

2. Reyes, G.E. & Zolfaghari, H. Topos-theoretic approaches to modality.
   Category Theory, Proceedings, Como 1990. LMS 1488. 

3. REYES, G.E. & ZOLFAGHARI, H. Bi-Heyting algebras, toposes and modalities.
   Journal of Philosophical Logic.  

4. Reyes, G.E.: A topos-theoretic approach to reference and modality.
   Notra Dame Journal of Formal Logic

5. Lavendhomme, R., Lucas, Th. and Reyes, G.E.: 
   Formal systems for topos-theoretic modalities
   Bull. Soc. Math. Belgique (Serie A). XLI Fascicule 2. 1989.