Directory of Temporal Logic Resources
Home > Science > Math > Logic and Foundations > Nonstandard Logics and Extensions > Temporal Logic
Temporal logic is a form of modal logic in which the modal operators are used to denote the truth of a statement in the future or past. Application areas include linguistics and computer science, in particular program verification.
Subcategories
Resources in This Category
-
Efficient Symbolic Tools
http://lms.uni-mb.si/EST/
A BDD based tool for the formal verification of concurrent systems using a propositional branching-time temporal logic: action computation tree logic (ACTL). It runs under different OS, including Linux and Windows 95/98/NT. -
Marking up Temporal Logic
http://lists.w3.org/Archives/Public/www-math/msg00496.html
First in a series of posts to the www-math mailing list on using TL operators in web pages. Clicking [Prev] will continue through the series. -
Temporal Logic
http://plato.stanford.edu/entries/logic-temporal/
The Stanford Encyclopedia of Philosophy entry on the subject, with a detailed description, application areas and a bibliography. -
Temporal Logic Case Study
http://www.sei.cmu.edu/publications/documents/89.reports/89.tr.024.html
A case study applying temporal logic to specify the operation of a bank of identical elevators servicing a number of floors in a building. -
TemporalRover
http://www.time-rover.com/
Provides automatic verification of protocols and reactive systems through temporal logic specifications. -
Time International Workshop Series
http://www.cs.uregina.ca/~temporal/
The annual International Workshop on Temporal Representation and Reasoning covers temporal representation and reasoning, including temporal logic.
Related Categories
Home > Science > Math > Logic and Foundations > Nonstandard Logics and Extensions > Temporal Logic
Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us
