Journal of Philosophical Logic

, Volume 26, Issue 5, pp 545–551 | Cite as

A Note on the Interpolation Property in Tense Logic

  • Frank Wolter

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.

interpolation tense logic temporal logic modal logic 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

REFERENCES

  1. 1.
    R. Bull and K. Segerberg (1984). Basic Modal Logic, In Handbook of Philosophical Logic, Vol 2, D. Gabbay and F. Guenthner (eds.), Dordrecht.Google Scholar
  2. 2.
    J. Burgess (1984). Basic Tense Logic, In Handbook of Philosophical Logic, Vol 2, D. Gabbay and F. Guenthner (eds.), Dordrecht.Google Scholar
  3. 3.
    W. Craig (1957). Three uses of Herbrand-Gentzen theorem in relating model theory, Journal of Symbolic Logic 22: 269–285.Google Scholar
  4. 4.
    R. Goldblatt (1987). Logics of Time and Computation, CSLI Lecture Notes, Chicago.Google Scholar
  5. 5.
    L. Maximova (1980). Interpolation theorems in modal logics, Sufficient conditions, (in Russian), Algebra i Logica 19: 194–213.Google Scholar
  6. 6.
    L. Maximova (1992). Interpolation in modal logics of infinite slice containing K4, (in Russian), in Matematicheskaya logika i algorithmicheskie problemy, Nauka, Novosibirsk.Google Scholar
  7. 7.
    L. Maximova (1992). Definability and Interpolation in Classical Modal Logics, Contemporary Mathematics 131: 583–599.Google Scholar
  8. 8.
    K. Segerberg (1970). Modal Logics with linear alternative relations, Theoria 36: 301–322.Google Scholar
  9. 9.
    F. Wolter (1996). Tense Logic without Tense Operators, to appear in Mathematical Logic Quarterly.Google Scholar

Copyright information

© Kluwer Academic Publishers 1997

Authors and Affiliations

  • Frank Wolter
    • 1
  1. 1.School of Information Science JAISTTatsunokuchi, IshikawaJapan

Personalised recommendations