Journal of Philosophical Logic

, Volume 26, Issue 5, pp 545–551

A Note on the Interpolation Property in Tense Logic


  • Frank Wolter
    • School of Information Science JAIST

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.

interpolationtense logictemporal logicmodal logic
Download to read the full article text

Copyright information

© Kluwer Academic Publishers 1997