Directory Home: Science: Math: Logic and Foundations: Nonstandard Logics and Extensions: Temporal Logic  (8)

Encyclopaedia search for Temporal Logic  
How to link to Temporal Logic

Temporal Logic Categories

Prior, Arthur@ - 2 sites

Temporal Logic - Related Categories

 Reference: Time - 86 sites

Temporal Logic - Web Sites

Efficient Symbolic Tools
A BDD based tool for the formal verification of concurrent systems using a propositional branchingtime temporal logic: action computation tree logic (ACTL). It runs under different OS, including Linux and Windows 95/98/NT.
url: lms.uni-mb.si/EST/

Interval Temporal Logic
A flexible notation for both propositional and firstorder reasoning about periods of time found in descriptions of hardware and software systems. A paper by Antonio Cau, Ben Moszkowski and Hussein Zedan.
url: www.cse.dmu.ac.uk/~cau/itlhomepage/

Marking up Temporal Logic
First in a series of posts to the wwwmath mailing list on using TL operators in web pages. Clicking [Prev] will continue through the series.
url: lists.w3.org/Archives/Public/www-math/msg00496.htm....

Temporal Logic
The Stanford Encyclopedia of Philosophy entry on the subject, with a detailed description, application areas and a bibliography.
url: plato.stanford.edu/entries/logic-temporal/

Temporal Logic Case Study
A case study applying temporal logic to specify the operation of a bank of identical elevators servicing a number of floors in a building.
url: www.sei.cmu.edu/publications/documents/89.reports/....

Temporal Logic in Information Systems
A survey of the field by Jan Chomicki and David Toman. From the 1997 BRICS Lecture Series.
url: www.brics.dk/LS/97/Abs/BRICS-LS-97-Abs/

TemporalRover
Provides automatic verification of protocols and reactive systems through temporal logic specifications.
url: www.time-rover.com/

Time International Workshop Series
The annual International Workshop on Temporal Representation and Reasoning covers temporal representation and reasoning, including temporal logic.
url: www.cs.uregina.ca/~temporal/

Search for Temporal Logic elsewhere

 
Here is an example of a HTML link that will link to this page - please feel free to edit the code snippet to suit your own requirements.