

Science Math Logic and Foundations Nonstandard Logics and Extensions Temporal Logic Science Math Logic and Foundations Nonstandard Logics and Extensions Temporal Logic sites TemporalLogic.NonstandardLogicsandExtensions.LogicandFoundations.Math.sciencenter.work 

Science Math Logic and Foundations Nonstandard Logics and Extensions Temporal Logic Science Math Logic and Foundations Nonstandard Logics and Extensions Temporal Logic sites TemporalLogic.NonstandardLogicsandExtensions.LogicandFoundations.Math.sciencesites.work 

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. lms.unimb.si/EST/ 

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. lists.w3.org/Archives/Public/wwwmath/msg00496.html 

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

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. www.sei.cmu.edu/publications/documents/89.reports/89.tr.024.html 

TemporalRover Provides automatic verification of protocols and reactive systems through temporal logic specifications. www.timerover.com/ 

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