A Note on the Interpolation Property in Tense Logic

Author: Wolter F.

Source: Journal of Philosophical Logic, Volume 26, Number 5, October 1997 , pp. 545-551(7)

Publisher: Springer

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.

Keywords: interpolation; tense logic; temporal logic; modal logic

Language: English

Document Type: Regular paper

Affiliations: 1: School of Information Science JAIST Tatsunokuchi, Ishikawa 923-12, Japan

Publication date: 1997-10-01

• In this: publication
• By this: publisher
• In this Subject: Philosophy
• By this author: Wolter F.

Website © Publishing Technology. Article copyright remains with the publisher, society or author(s) as specified within the article.

• Terms and conditions
• Privacy policy
• Information for advertisers