In logic, the term temporal logic is used to describe any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time. It is sometimes also used to refer to tense logic, a particular modal logic-based system of temporal logic introduced by Arthur Prior in the 1960s. Subsequently it has been developed further by computer scientists, notably Amir Pnueli, and logicians.

Temporal logic was first studied in depth by Aristotle, whose writings are filled with a crude form of first-order temporal modal binary logic. Any logic which uses the existential quantifier or the universal quantifier is said to be a first-order logic. Any logic which views time as a sequence of states is a temporal logic, and any logic which uses only two truth values is a binary logic.

Consider the statement: "I am hungry." Though its meaning is constant in time, the truth value of the statement can vary in time. Sometimes the statement is true, and sometimes the statement is false, but the statement is never true and false simultaneously. In a temporal logic, statements can have a truth value which can vary in time. Contrast this with an atemporal logic, which can only handle statements whose truth value is constant in time.

More on [ Temporal logic ]

Wiley: All New Mathematics & Statistics Titles

Practical Text Mining with Perl
Roger Bilisoly Mon, 18 Aug 2008 04:00:00 -0000
  Provides readers with the methods, algorithms, and means to perform text mining tasks This book is devoted to the fundamentals of text mining using Perl, an open-source programming tool that is freely available via the Internet (www.perl.org). It covers mining ideas from several perspectives--statistics, data mining, linguistics, and information retrieval--and provides readers with the means to successfully complete text mining tasks on their Read More...
An Introduction to Linear Programming and Game Theory, 3rd Edition
Paul R. Thie, Gerard E. Keough Mon, 11 Aug 2008 04:00:00 -0000
  Introduction to Linear Programming and Game Theory, Third Edition includes various additions as well as improvements that have been developed over the last decade, and the most significant addition to the text involves technology. It features an introduction, discussion, and utilization of Solver, a spreadsheet software package that solves mathematical programming problems. PRT Simplex, a computer application for learning the simplex method, Read More...
The Probabilistic Method, 3rd Edition
Noga Alon, Joel H. Spencer Mon, 11 Aug 2008 04:00:00 -0000
  This Third Edition of The Probabilistic Method reflects the most recent developments in the field while maintaining the standard of excellence that established this book as the leading reference on probabilistic methods in combinatorics. Maintaining its clear writing style, illustrative examples, and practical exercises, this new edition emphasizes methodology, enabling readers to use probabilistic techniques for solving problems in such fields Read More...
Fundamentals of Queueing Theory, 4th Edition
Donald Gross, John F. Shortle, James M. Thompson, Carl M. Harris Mon, 11 Aug 2008 04:00:00 -0000
  Fundamentals of Queueing Theory, 4th Edition presents the analytic modeling of queues using up-to-date examples and detailed coverage of the fundamentals of analytic modeling. A fresh emphasis on telecommunications enlivens the text, and spreadsheet programs for Excel and Quattro on the related Web site will help you understand the sensitivity of waiting-line systems to parameter and environmental changes. Read More...
Statistical Meta-Analysis with Applications
Joachim Hartung, Guido Knapp, Bimal K. Sinha Mon, 11 Aug 2008 04:00:00 -0000
  * This book combines the authors' experiences on the topic and brings out a wealth of new information relevant to the study of meta-analysis. * Most of the methods described in this book can be understood and applied with a solid master's level background in statistics. * Applications ranging from business to education to environment to health sciences in both univariate and multivariate cases are presented alongside and subservient to theory. Read More...
Fundamentals of Quality Control and Improvement, 3rd Edition
Amit Mitra Mon, 04 Aug 2008 04:00:00 -0000
  Incorporating modern ideas, methods, and philosophies of quality management, Fundamentals of Quality Control and Improvement, Third Edition presents a quantitative approach to management-oriented techniques and enforces the integration of statistical concepts into quality assurance methods. Utilizing a sound theoretical foundation and illustrating procedural techniques through real-world examples, Read More...

Subscribe to Math RSS feed