61. Temporal Logic - Computing Reference - ELook.org Information and links on Temporal logic logic An extension of predicate calculus which includes notation for arguing about *when* statements are true. http://www.elook.org/computing/temporal-logic.htm

eLook Home eLook Computing Reference Search Computing Reference By Letter: Non-alphabet A B C ... Email this page to a friend Temporal logic predicate calculus which includes notation for arguing about *when* statements are true. Time is discrete and extends indefinitely into the future. Three prefix operators, represented by a circle, square and diamond mean "is true at the next time instant", "is true from now on" and "is eventually true". x U y means x is true until y is true. x P y means x precedes y. There are two types of formula: "state formulae" about things true at one point in time, and "path formulae" about things true for a sequence of steps. An example of a path formula is "x U y", and example of a state formula is "next x" or a simple atomic formula such at "waiting". "true until" in this context means that a state formula holds at every point in time up to a point when another formula holds. "x U y" is the "strong until" and implies that there is a time when y is true. "x W y" is the "weak until" in which it is not necessary that y holds eventually. There are two types of temporal logic used: branching time and linear time.

62. Temporal Logic - Microsoft Academic Search in a (propositional, branchingtime) temporal logic. our algorithm has complexity linear http://academic.research.microsoft.com/Search.aspx?query=temporal logic

63. Temporal Logic Time Statement Truth Value Verification Formal Temporal Logic Time Statement Truth Value Verification Formal Economy. http://www.economicexpert.com/a/Temporal:logic.htm

64. Temporal Logic (Stanford Encyclopedia Of Philosophy/Spring 2007 Edition) First published Mon Nov 29, 1999; substantive revision Thu Dec 11, 2003 http://www.seop.leeds.ac.uk/archives/spr2007/entries/logic-temporal/

Spring 2007 Edition Cite this entry Search this Archive Advanced Search Table of Contents ... Stanford University This is a file in the archives of the Stanford Encyclopedia of Philosophy Temporal Logic First published Mon Nov 29, 1999; substantive revision Thu Dec 11, 2003 The term Temporal Logic has been broadly used to cover all approaches to the representation of temporal information within a logical framework, and also more narrowly to refer specifically to the modal-logic type of approach introduced around 1960 by Arthur Prior under the name of Tense Logic and subsequently developed further by logicians and computer scientists. Applications of Temporal Logic include its use as a formalism for clarifying philosophical issues about time, as a framework within which to define the semantics of temporal expressions in natural language, as a language for encoding temporal knowledge in artificial intelligence, and as a tool for handling the temporal aspects of the execution of computer programs. 1. Modal-logic approaches to temporal logic 2. Predicate-logic approaches to temporal logic 3. Philosophical issues 4. Applications ... Related Entries 1. Modal-logic approaches to temporal logic 1.1 Tense Logic

A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z

Page 4     61-64 of 64    Back | 1  | 2  | 3  | 4