Journal of Philosophical Logic

, Volume 26, Issue 5, pp 545–551

A Note on the Interpolation Property in Tense Logic

Authors

  • Frank Wolter
    • School of Information Science JAIST
Article

DOI: 10.1023/A:1017956722866

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

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

Copyright information

© Kluwer Academic Publishers 1997