A note on the interpolation property in tense logic

DOI10.1023/A:1017956722866zbMath0884.03015MaRDI QIDQ1366764

Frank Wolter

Publication date: 17 March 1998

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

interpolation propertytense logicsnormal bimodal propositional logicsunbounded depth

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Interpolation, preservation, definability (03C40)

Cites Work

• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• Tense Logic Without Tense Operators
• Modal logics with linear alternative relations
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A note on the interpolation property in tense logic