Journal of Philosophical Logic 23 (5):535 - 573 (1994)

A conjecture of Gabbay (1981) states that any class of flows of time having the property known as finite H-dimension admits a finite set of expressively complete one-dimensional temporal connectives. Here we show that the class of 'circular' structures refutes the generalisation of this conjecture to Kripke frames. We then construct from this class, by a general method, a new class of irreflexive transitive flows of time that refutes the original conjecture. Our paper includes full descriptions of a method for establishing finite H-dimension for a class of structures and of the technique for extending finite H-dimension to other classes, and an introduction surveying the area of expressive completeness
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF01049409
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 53,634
Through your library

References found in this work BETA

Past, Present and Future.Arthur Prior - 1967 - Clarendon Press.
Past, present and future.Arthur Prior - 1967 - Revue Philosophique de la France Et de l'Etranger 157:476-476.
Time and Modality.A. N. PRIOR - 1955 - Greenwood Press.
[Omnibus Review].H. Jerome Keisler - 1970 - Journal of Symbolic Logic 35 (2):342-344.
Expressiveness and Completeness of an Interval Tense Logic.Yde Venema - 1990 - Notre Dame Journal of Formal Logic 31 (4):529-547.

View all 8 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles


Added to PP index

Total views
41 ( #235,875 of 2,348,923 )

Recent downloads (6 months)
1 ( #512,628 of 2,348,923 )

How can I increase my downloads?


My notes