Hostname: page-component-cb9f654ff-r5d9c Total loading time: 0 Render date: 2025-08-18T14:48:34.815Z Has data issue: false hasContentIssue false
  • English
  • Français

Note on a paper in tense logic

Published online by Cambridge University Press:  12 March 2014

R. A. Bull
R. A. Bull*
Affiliation:
University of Leeds
Get access Rights & Permissions [Opens in a new window]

Extract

In [1, §4], my ‘proof’ that GH1 has the finite model property is incorrect;there are considerable obscurities towards the end of §1, particularly on p.33; and I should have exhibited the finite models for GH1. In §1 of thispaper I expand the analysis of the sub-directly irreducible models for GH1which I give in §1 of [1]. In §2 I give a correct proof that GH1 has thefinite model property. In §3 I exhibit these finite models as models oncertain ordered sets.

Information

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 34 , Issue 2 , 25 July 1969 , pp. 215 - 218
Copyright
Copyright © Association for Symbolic Logic 1969

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Article purchase

Temporarily unavailable

References

[1] Bull, R. A., An algebraic study of tense logics with linear time, this Journal , vol. 33 (1968), pp. 27–38.Google Scholar