Series: Penn State Logic Seminar

Date: Tuesday, November 7, 2000

Time: 2:30 - 3:20 PM

Place: 307 Boucke Building

Speaker: Frank Valencia, Computer Science, Penn State

Title: An Introduction to Temporal Logics

Abstract:
 
The term Temporal Logic (TL) has been broadly used to cover all
approaches to the representation of temporal information within a
logical framework.  More narrowly, TL refers to the modal-logic type
of approach introduced by Arthur Prior under the name of Tense Logic
and subsequently developed further by logicians and computer
scientists.  In this restricted sense, temporal logic formulae are
built from modalities for expressing facts about past, present, and
future.  In general, time is discrete and extends indefinitely into
the future.  In this talk I will give a brief introduction to the main
Temporal Logics and illustrate some of their applications in Computer
Science.