Return-Path: <john.harrison-request@uk.ac.cam.cl>
Delivery-Date: 
Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.4) outside ac.uk; Fri, 16 Apr 1993 12:08:33 +0100
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA05337;
          Fri, 16 Apr 93 03:50:12 -0700
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Precedence: bulk
Received: from infix.cs.ruu.nl by ted.cs.uidaho.edu (16.6/1.34) id AA05332;
          Fri, 16 Apr 93 03:50:04 -0700
Received: by infix.cs.ruu.nl id AA05689 (5.65c/IDA-1.4.4 
          for info-hol@ted.cs.uidaho.edu); Fri, 16 Apr 1993 12:07:08 +0200
From: Wishnu Prasetya <wishnu@nl.ruu.cs>
Message-Id: <199304161007.AA05689@infix.cs.ruu.nl>
Subject: Reports on Formalization of Temporal Logic?
To: info-hol@edu.uidaho.cs.ted (hol mailing list)
Date: Fri, 16 Apr 1993 12:07:07 +0100 (METDST)
X-Mailer: ELM [version 2.4 PL21]
Content-Type: text
Content-Length: 304

Hi,

I knew that Amit Jasuya has implemented Temporal Logic for HOL, and
that Ching-Tsun Chou is working on TLA. I wish to refer to their works
and others closely connected to formalization of temporal like logics.
Can someone post the bib-entry for the corresponding reports?

Kindly thank you.

Wishnu