The revised analysis of a formal language having greater expressive capabilities than a first-order predicate language. This new, first-order temporal language can express propositions involving tenses, dates, or quantification over temporal entities. The discussion includes description of the first-order predicate language and the notion of bound and free variables. The notions of a deduction, a theorem of logic, and a consistent set of formulas are introduced, and the deduction theorem and a form of the compactness theorem are stated and proved. Detailed comparison shows that the new, first-order temporal language differs from the traditional one in allowing quantification over intervals and the admission of interval constants.
This report is part of the RAND Corporation research memorandum series. The Research Memorandum was a product of the RAND Corporation from 1948 to 1973 that represented working papers meant to report current results of RAND research to appropriate audiences.
Permission is given to duplicate this electronic document for personal use only, as long as it is unaltered and complete. Copies may not be duplicated for commercial purposes. Unauthorized posting of RAND PDFs to a non-RAND Web site is prohibited. RAND PDFs are protected under copyright law. For information on reprint and linking permissions, please visit the RAND Permissions page.
The RAND Corporation is a nonprofit institution that helps improve policy and decisionmaking through research and analysis. RAND's publications do not necessarily reflect the opinions of its research clients and sponsors.