1st Order Temporal Logic

Article View: sci.logic

Article #226

#226

From: Subash Shankar
Date: Fri, 30 Nov 1990 21:02

9 lines
918 bytes

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

Technical Details

Message-ID: <1990Nov30.210226.10466@src.honeywell.com>

Path:

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

Show Full Headers

Complete Article Headers

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