Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!bbn!rochester!pt.cs.cmu.edu!PROOF.ERGO.CS.CMU.EDU!srd
From: srd@PROOF.ERGO.CS.CMU.EDU (Scott Dietzen)
Newsgroups: comp.lang.prolog
Subject: Prolog and Modal Logic
Keywords: modal logic
Message-ID: <4333@pt.cs.cmu.edu>
Date: 22 Feb 89 20:48:14 GMT
Organization: Carnegie-Mellon University, CS/RI
Lines: 11

I am interested in recent work on extending Prolog (or other logic
programming paradigms) to modal logic.  Any pointers would be 
appreciated.  Thank you. 

Scott Dietzen  (dietzen@cs.cmu.edu)

-- 
Scott Dietzen

Arpanet: srd@theory.cs.cmu.edu
Uucp:    ...!seismo!theory.cs.cmu.edu!srd
--