The k-variable property is stronger than h-dimension K

&
Journal of Philosophical Logic 26 (1):81-101 (1997)
  Copy   BIBTEX

Abstract

We study the notion of H-dimension and the formally stronger k-variable property, as considered by Gabbay, Immerman and Kozen. We exhibit a class of flows of time that has H-dimension 3, and admits a finite expressively complete set of onedimensional temporal connectives, but does not have the k-variable property for any finite k

Categories

Keywords

Reprint years

2004

DOI

10.1023/a:1017951631048

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,440

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The two-property and condensed detachment.J. A. Kalman - 1982 - Studia Logica 41 (2-3):173 - 179.
Interpolation and definability in guarded fragments.Eva Hoogland & Maarten Marx - 2002 - Studia Logica 70 (3):373 - 409.
On variable separation in modal and superintuitionistic logics.Larisa Maksimova - 1995 - Studia Logica 55 (1):99 - 112.
Decidability of cylindric set algebras of dimension two and first-order logic with two variables.Maarten Marx & Szabolcs Mikulás - 1999 - Journal of Symbolic Logic 64 (4):1563-1572.
There exist exactly two maximal strictly relevant extensions of the relevant logic R.Kazimierz Swirydowicz - 1999 - Journal of Symbolic Logic 64 (3):1125-1154.
Pseudo-finite homogeneity and saturation.Jörg Flum & Martin Ziegler - 1999 - Journal of Symbolic Logic 64 (4):1689-1699.
Two concepts of property: Ownership of things and property in activities.Hugh Breakey - 2011 - Philosophical Forum 42 (3):239-265.
The simple substitution property of the intermediate propositional logics on finite slices.Katsumi Sasaki - 1993 - Studia Logica 52 (1):41 - 62.
On Weak and Strong Interpolation in Algebraic Logics.Gábor Sági & Saharon Shelah - 2006 - Journal of Symbolic Logic 71 (1):104 - 118.
Finite h-dimension does not imply expressive completeness.Ian Hodkinson - 1994 - Journal of Philosophical Logic 23 (5):535 - 573.

Analytics

Added to PP
2009-01-28

Downloads
39 (#401,270)

6 months
8 (#346,782)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Logical systems containing only a finite number of symbols.Leon Henkin - 1967 - Montreal,: Presses de l'Université de Montréal.
Tense Logic and the Theory of Linear Order.Johan Anthony Wilem Kamp - 1968 - Dissertation, University of California, Los Angeles
Finite h-dimension does not imply expressive completeness.Ian Hodkinson - 1994 - Journal of Philosophical Logic 23 (5):535 - 573.

Add more references