From ???@??? Wed Sep 08 15:02:51 1999
X-Sieve: cmu-sieve 1.3
Return-Path: <Lars_Birkedal@unbox.fox.cs.cmu.edu>
Received: from po3.andrew.cmu.edu (PO3.ANDREW.CMU.EDU [128.2.10.103]) by mail1.andrew.cmu.edu (8.9.3/8.8.2) with ESMTP id NAA25874 for <awodey+@MAIL1.ANDREW.cmu.edu>; Wed, 8 Sep 1999 13:06:01 -0400 (EDT)
Received: (from daemon@localhost)
	by po3.andrew.cmu.edu (8.9.3/8.9.3) id NAA17787
	for awodey+@MAIL1.ANDREW.CMU.EDU; Wed, 8 Sep 1999 13:06:00 -0400 (EDT)
Received: via switchmail for awodey+@andrew.cmu.edu;
 Wed,  8 Sep 1999 13:06:00 -0400 (EDT)
Received: from unbox.fox.cs.cmu.edu (UNBOX.FOX.CS.CMU.EDU [128.2.198.49])
	by po3.andrew.cmu.edu (8.9.3/8.9.3) with SMTP id NAA17781;
	Wed, 8 Sep 1999 13:05:58 -0400 (EDT)
Received: from localhost by unbox.fox.cs.cmu.edu id aa14662; 8 Sep 99 13:05 EDT
To: awodey@andrew.cmu.edu, jeff.helzner@andrew.cmu.edu
From: Lars Birkedal <birkedal@cs.cmu.edu>
Priority: 1
Subject: references for modal logic
Date: Wed, 08 Sep 1999 13:05:54 -0400
Message-ID: <14632.936810354@unbox.fox.cs.cmu.edu>
Sender: Lars_Birkedal@unbox.fox.cs.cmu.edu


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.