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.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
REFERENCES
R. Bull and K. Segerberg (1984). Basic Modal Logic, In Handbook of Philosophical Logic, Vol 2, D. Gabbay and F. Guenthner (eds.), Dordrecht.
J. Burgess (1984). Basic Tense Logic, In Handbook of Philosophical Logic, Vol 2, D. Gabbay and F. Guenthner (eds.), Dordrecht.
W. Craig (1957). Three uses of Herbrand-Gentzen theorem in relating model theory, Journal of Symbolic Logic 22: 269–285.
R. Goldblatt (1987). Logics of Time and Computation, CSLI Lecture Notes, Chicago.
L. Maximova (1980). Interpolation theorems in modal logics, Sufficient conditions, (in Russian), Algebra i Logica 19: 194–213.
L. Maximova (1992). Interpolation in modal logics of infinite slice containing K4, (in Russian), in Matematicheskaya logika i algorithmicheskie problemy, Nauka, Novosibirsk.
L. Maximova (1992). Definability and Interpolation in Classical Modal Logics, Contemporary Mathematics 131: 583–599.
K. Segerberg (1970). Modal Logics with linear alternative relations, Theoria 36: 301–322.
F. Wolter (1996). Tense Logic without Tense Operators, to appear in Mathematical Logic Quarterly.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Wolter, F. A Note on the Interpolation Property in Tense Logic. Journal of Philosophical Logic 26, 545–551 (1997). https://doi.org/10.1023/A:1017956722866
Issue Date:
DOI: https://doi.org/10.1023/A:1017956722866