Prolog and Modal Logic

Article View: comp.lang.prolog

Article #3918

#3918

From: Scott Dietzen
Date: Wed, 22 Feb 1989 20:48

12 lines
668 bytes

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
--

Technical Details

Message-ID: <4333@pt.cs.cmu.edu>

Path: arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!bbn!rochester!pt.cs.cmu.edu!PROOF.ERGO.CS.CMU.EDU!srd

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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