Journal of Philosophical Logic

, Volume 26, Issue 5, pp 545–551

A Note on the Interpolation Property in Tense Logic

  • Frank Wolter

DOI: 10.1023/A:1017956722866

Cite this article as:
Wolter, F. Journal of Philosophical Logic (1997) 26: 545. doi:10.1023/A:1017956722866


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 

Copyright information

© Kluwer Academic Publishers 1997

Authors and Affiliations

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

Personalised recommendations