%0 Journal Article
%T Interpolation theorems for some variants of LTL
%A Kamide, Norihiro
%J Reports on Mathematical Logic
%V 2015
%R 10.4467/20842589RM.15.001.3910
%N Number 50
%P 3-30
%K paraconsistent logic, sequent calculus, Craig interpolation theorem, linear-time temporal logic, infinitary logic
%@ 0137-2904
%D 2015
%U https://ejournals.eu/en/journal/reports-on-mathematical-logic/article/interpolation-theorems-for-some-variants-of-ltl
%X It is known that Craig interpolation theorem does not hold for LTL. In this paper, Craig interpolation theo- rems are shown for some fragments and extensions of LTL. These theorems are simply proved based on an embedding-based proof method with Gentzen-type sequent calculi. Maksimova separation theorems (Maksimova principle of variable separation) are also shown for these LTL variants.