Xref: utzoo sci.logic:1041 comp.lang.prolog:3468
Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!wuarchive!zaphod.mps.ohio-state.edu!sol.ctr.columbia.edu!src.honeywell.com!milo!shankar
From: shankar@SRC.Honeywell.COM (Subash Shankar)
Newsgroups: sci.logic,comp.lang.prolog
Subject: 1st Order Temporal Logic
Message-ID: <1990Nov30.210226.10466@src.honeywell.com>
Date: 30 Nov 90 21:02:26 GMT
Sender: news@src.honeywell.com (News interface)
Organization: Honeywell Systems & Research Center
Lines: 9
Nntp-Posting-Host: milo.src.honeywell.com


I am looking for automated (or automatable) proof procedures for temporal logic
with quantifiers.  Any pointers would be appreciated.  

(I'll post a summary of E-mail if there's any interest)
---
Subash Shankar             Honeywell Systems & Research Center MN65-2100
voice: (612) 782 7558      US Snail: 3660 Technology Dr., Minneapolis, MN 55418
shankar@src.honeywell.com  srcsip!shankar