Finite h-dimension does not imply expressive completeness

Journal of Philosophical Logic 23 (5):535 - 573 (1994)
Abstract
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
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


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

References found in this work BETA

Past, Present and Future.Arthur Prior - 1967 - Clarendon Press.
Time and Modality.A. N. Prior - 1955 - Greenwood Press.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total downloads
28 ( #220,086 of 2,273,639 )

Recent downloads (6 months)
2 ( #216,452 of 2,273,639 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature