Review: "An Algebraic Study of Tense Logic with Linear Time," by R. A. Bull

Loading...
Thumbnail Image
If you need an accessible version of this item, please email your request to iusw@iu.edu so that they may create one and provide it to you.
Date
1971-03
Journal Title
Journal ISSN
Volume Title
Publisher
Journal of Symbolic Logic
Abstract
In these papers (the second of which is principally a correction and adumbration of the first) Bull constructs algebraic semantics which provide completeness theorems for three prepositional tense logics for linear time, depending on whether the linear ordering of moments is rational, real, or integral. It is also shown that the systems for time rational or real have the finite model property, but that the system for discrete (integral) time lacks this property. The notion of formulahood is the same for each of these propositional tense logics—in addition to the operators of the classical propositional calculus there are P, H, F, and G, which read, respectively, as "It has been the case that," "It has always been the case that," "It will be the case that," and "It will always be the case that." G and H are taken primitively with F and P defined as their respective duals.
Description
Publisher's, offprint version
Keywords
Citation
Cocchiarella, N. Review in Journal of Symbolic Logic, vol. 36 (1971), p. 173, of "An Algebraic Study of Tense Logic with Linear Time," by R. A. Bull, Journal of Symbolic Logic, vol 33 (1968)
Relation
Rights
Type
Book review