Hostname: page-component-745bb68f8f-mzp66 Total loading time: 0 Render date: 2025-01-09T07:02:13.295Z 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 this paper I expand the analysis of the sub-directly irreducible models for GH1 which I give in §1 of [1]. In §2 I give a correct proof that GH1 has the finite model property. In §3 I exhibit these finite models as models on certain ordered sets.

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.)

References

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