@article{1056e7a8-40a1-42ec-94b2-56c852dcbfd6,
author = {Norihiro Kamide},
title = {Interpolation theorems for some variants of LTL},
journal = {Reports on Mathematical Logic},
volume = {2015},
number = {Number 50},
year = {2015},
issn = {0137-2904},
pages = {3-30},keywords = {paraconsistent logic; sequent calculus; Craig interpolation theorem; linear-time temporal logic; infinitary logic},
abstract = {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.},
doi = {10.4467/20842589RM.15.001.3910},
url = {https://ejournals.eu/en/journal/reports-on-mathematical-logic/article/interpolation-theorems-for-some-variants-of-ltl}
}