A note on the interpolation property in tense logic

Journal of Philosophical Logic 26 (5):545-551 (1997)
  Copy   BIBTEX

Abstract

It is proved that all bimodal tense logics which contain the logic of the weak orderings and have unbounded depth do not have the interpolation property

Categories

Keywords

Reprint years

2004

DOI

10.1023/a:1017956722866

Links

PhilArchive



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

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

Interpolation and definability in abstract logics.Finn V. Jensen - 1974 - Synthese 27 (1-2):251 - 257.
The finite model property in tense logic.Frank Wolter - 1995 - Journal of Symbolic Logic 60 (3):757-774.
Interpolation properties of superintuitionistic logics.Larisa L. Maksimova - 1979 - Studia Logica 38 (4):419 - 428.
Interpolation in non-classical logics.Giovanna D’Agostino - 2008 - Synthese 164 (3):421 - 435.
Interpolation and definability in guarded fragments.Eva Hoogland & Maarten Marx - 2002 - Studia Logica 70 (3):373 - 409.
Interpolation and amalgamation properties in varieties of equivalential algebras.Małgorzata Porębska - 1986 - Studia Logica 45 (1):35 - 38.
On Weak and Strong Interpolation in Algebraic Logics.Gábor Sági & Saharon Shelah - 2006 - Journal of Symbolic Logic 71 (1):104 - 118.
Interpolation and Definability over the Logic Gl.Larisa Maksimova - 2011 - Studia Logica 99 (1-3):249-267.

Analytics

Added to PP
2009-01-28

Downloads
36 (#421,132)

6 months
1 (#1,459,555)

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

Logics of Time and Computation.Robert Goldblatt - 1990 - Studia Logica 49 (2):284-286.
Tense Logic Without Tense Operators.Frank Wolter - 1996 - Mathematical Logic Quarterly 42 (1):145-171.

Add more references